Your search returned 2 results.

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

by Hurd, Joe.

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

Add to cart
Pages

Powered by Koha