Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / Luke Ong (ed.). by Series: Lecture notes in computer science ; 3634.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11538363
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • CSL 2005
  • 14th Annual Conference of the EACSL
  • Fourteenth Annual Conference of the EACSL
  • Conference of the EACSL
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.). by Series: Lecture notes in computer science ; 3603.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • TPHOLs 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha