IMSc Library catalog › Results of search for 'au:"Paulson, Lawrence C."'

Your search returned 4 results.

Not what you expected? Check for suggestions

			Logic and Computation Interactive Proof with Cambridge LCF by Paulson, Lawrence C. Series: Cambridge Tracts in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAU. Place hold Log in to add tags
			Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson. by Nipkow, Tobias [editor.] \| Wenzel, Markus [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2283Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Isabelle [electronic resource] : A Generic Theorem Prover / edited by Lawrence C. Paulson. by Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 828Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson. by Kaufmann, Matt [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6172Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha