Search alternatives:
logical technical » ecological technical, clinical technical, social technical
reviewer » reviewers, reviewed, review
Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Terms for Simply Typed Higher Order Logic -- Routing Information Protocol in HOL/SPIN -- Recursive...”