Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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
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
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
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
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
Pages

Powered by Koha