Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.). by Series: Lecture notes in computer science ; 859.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / Andrei Voronkov (ed.). by Series: Lecture notes in computer science ; 698. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : SpringerVerlag, ©1993
Other title:
  • LPAR '93
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.). by Series: Lecture notes in computer science ; 1617. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Pages

Powered by Koha