Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.). by Series: Lecture notes in computer science ; 1869.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings / Dima Grigoriev, John Harrison, Edward A. Hirsch (eds.). by Series: Lecture notes in computer science ; 3967.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 2006
Other title:
  • First International Computer Science Symposium in Russia
  • International Computer Science Symposium in Russia
  • CSR 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, eds. by Series: Lecture notes in computer science ; 1125.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Other title:
  • TPHOLs '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha