Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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 (e-book)

by Slind, Konrad.

Series: Lecture Notes in Computer Science (LNCS) ; v.3223Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2004Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha