Logic and Computation: Interactive Proof with Cambridge Lcf Lawrence C. Paulson

ISBN: 9780521395601

Published: July 26th 1990

Paperback

320 pages


Description

Logic and Computation: Interactive Proof with Cambridge Lcf  by  Lawrence C. Paulson

Logic and Computation: Interactive Proof with Cambridge Lcf by Lawrence C. Paulson
July 26th 1990 | Paperback | PDF, EPUB, FB2, DjVu, AUDIO, mp3, ZIP | 320 pages | ISBN: 9780521395601 | 6.48 Mb

This study of techniques for formal theorem-proving focuses on the applications of Cambridge LCF (Logic for Computable Functions), a computer program for reasoning about computation.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Logic and Computation: Interactive Proof with Cambridge Lcf":


kozackimops.pl

©2009-2015 | DMCA | Contact us