Search

Your search returned 4 results.

Results
		No cover image available Isabelle/HOL : a proof assistant for higher-order logic by Nipkow, Tobias \| Paulson, Lawrence C \| Wenzel, Markus \| . Series: Lecture notes in computer sience ; v.2283Edition: Language: English Publication details: Berlin ; Springer, ; 2002Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Nip. Place hold Add to cart (remove)
		No cover image available Isabelle : a generic theorem prover by Paulson, Lawrence C \| . Series: Lecture notes in computer science ; v.828Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Pau. Place hold Add to cart (remove)
		No cover image available Logic and computation : interactive proof with cambridge LCF by Paulson, Lawrence C \| . Series: Edition: Language: English Publication details: Cambridge ; Cambridge Univ. Press, ; 1987Availability: Items available for loan: 1 Call number: 681.3:517.1 Pau. Place hold Add to cart (remove)
		Interactive theorem proving : first international conference : proceedings, ITP, Edinburgh, UK, July 11-14, 2010 (e-book) by Kaufmann, Matt [Editor] \| Paulson, Lawrence C [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6172 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha