Your search returned 4 results.

Results
		Verification of reactive systems : formal methods and algorithms by Schneider, Klaus \| -. Series: Edition: Language: English Publication details: Barlin ; Springer ; 2004Availability: Items available for loan: 1 Call number: 681.3.06Sch. Place hold Add to cart (remove)
		No cover image available Computer aided subject index system for the life sciences by Schneider, Klaus \| . Series: Edition: Language: English Publication details: Munchen ; Verlag DSokumentation, ; 1976Availability: Items available for loan: 1 Call number: 025.343:681.3 Sch. Place hold Add to cart (remove)
		Theorem proving in higher order logics : 20th international conference proceedings, TPHOLs, Kaiserslautern, Germany, Sept. 10-13, 2007 by \| Schneider, Klaus \| Schneider, Klaus. Series: Lecture notes in computer science ; v.4732Edition: Language: English Publication details: Berlin ; Springer- Verlag ; 2007Availability: Items available for loan: 1 Call number: 681.3:517.1The:20:07. Place hold Add to cart (remove)
		Theorem proving in higher order logics (e-book) by Schneider, Klaus. Series: Lecture Notes in Computer Science (LNCS) ; v.4732Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

		Verification of reactive systems : formal methods and algorithms by Schneider, Klaus \| -. Series: Edition: Language: English Publication details: Barlin ; Springer ; 2004Availability: Items available for loan: 1 Call number: 681.3.06Sch. Place hold Add to cart (remove)
		No cover image available Computer aided subject index system for the life sciences by Schneider, Klaus \| . Series: Edition: Language: English Publication details: Munchen ; Verlag DSokumentation, ; 1976Availability: Items available for loan: 1 Call number: 025.343:681.3 Sch. Place hold Add to cart (remove)
		Theorem proving in higher order logics : 20th international conference proceedings, TPHOLs, Kaiserslautern, Germany, Sept. 10-13, 2007 by \| Schneider, Klaus \| Schneider, Klaus. Series: Lecture notes in computer science ; v.4732Edition: Language: English Publication details: Berlin ; Springer- Verlag ; 2007Availability: Items available for loan: 1 Call number: 681.3:517.1The:20:07. Place hold Add to cart (remove)
		Theorem proving in higher order logics (e-book) by Schneider, Klaus. Series: Lecture Notes in Computer Science (LNCS) ; v.4732Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search