Your search returned 3 results.

Results
	1.		ML for the working programmer Lawrence C. Paulson by Paulson, Lawrence C Edition: 2nd ed Publication details: Cambridge Cambridge University Press c1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.13 PAU.
	2.		Isabelle/HOL : a proof assistant for higher-order logic Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel by Nipkow, Tobias Paulson, Lawrence C Wenzel, Markus Publication details: Berlin ; New York Springer c2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 NIP.
	3.		Logic and computation : interactive proof with Cambridge LCF Lawrence C. Paulson by Paulson, Lawrence C Publication details: Cambridge Cambridge University Press c1987 Availability: Items available for loan: Anna Centenary Library (1)Call number: 004.125 PAU.

Refine your search