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)
		Rewriting techniques and applications : 9th international conference proceedings, RTA, Tsukuba, Japan, Mar 30-Apr. 1, 1998 by \| Nipkow, Tobias \| Nipkow, Tobias. Series: Lecture notes in computer science ; v.1379Edition: Language: English Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: 1 Call number: 681.3.06Rew:9:98. Place hold Add to cart (remove)
		Rewriting techniques and applications (e-book) by Nipkow, Tobias. Series: Lecture Notes in Computer Science (LNCS) ; v.1379Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1998Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Isabelle/hol (e-book) by Nipkow, Tobias. Series: Lecture Notes in Computer Science (LNCS) ; v.2283Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2002Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search