Koha online catalog › Results of search for 'au:"Paulson, Lawrence C."'

	1.	Isabelle/HOL : a Proof Assistant for Higher-Order Logic by Paulson, Lawrence C \| Nipkow, Tobias \| Wenzel, Markus \| Paulson, Lawrence C. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1). Place hold
	2.	ML for the working programmer by Paulson, Lawrence C. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 005.133 PAU] (1). Place hold

Koha online