Search alternatives:
logical technical » ecological technical, clinical technical, social technical
technical review » technical reviewer, technical reviewers, technical overview
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...”