Search

Your search returned 5 results.

Results
		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 : 18th international conference proceedings, TPHOLs, Oxford, UK, Aug. 22-25, 2005 by \| Hurd, Joe \| Hurd, Joe. Series: Lecture notes in computer science ; v.3603Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 681.3:517.1The:18:05. Place hold Add to cart (remove)
		Theorem proving in higher order logics : 21st international conference proceedings, TPHOLs, Montreal, Canada, Aug. 18-21, 2008 by \| Ait Mohamed, Otmane \| Ait Mohamed, Otmane. Series: Lecture notes in computer science ; v.5170Edition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.3:517.1The:21:08. Place hold Add to cart (remove)
		Theorem proving in higher order logics : 17th international conference proceedings, TPHOLs, Park City, Utah, USA, Sept. 14-17, 2004 by - \| Slind, Konrad \| Slind, Konrad. Series: Lecture notes in computer science ; v.3223Edition: Language: English Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: 1 Call number: 681.3:517.1The:17:04. Place hold Add to cart (remove)
		Theorem proving in higher order logics : 22nd international conference proceedings, TPHOLs, Munich, Germany, Aug. 17-20, 2009 by \| Berghofer, Stefan...[et al.] \| Berghofer, Stefan...[et al.]. Series: Lecture notes in computer science ; 5674Edition: Language: English Publication details: Berlin ; Springer ; 2009Availability: Items available for loan: 1 Call number: 681.3:517.1The:22:09. Place hold Add to cart (remove)

Powered by Koha