Logic and computation: interactive proof with cambridge lcf
Auteur :
Paulson, Lawrence C.
Éditeur :
Cambridge University Press
ISBN :
9780521395601
Date de publication :
26 juil. 1990
Dimensions :
24,7 x 18,7 x 1,9 cm
Poids :
574 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.