Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.). by Series: Lecture notes in computer science ; 5195. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Berlin ; Springer, 2008
Other title:
  • IJCAR 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds. by Series: Lecture notes in computer science ; 918. | 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, ©1995
Other title:
  • TABLEAUX '95
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Speaking Minds [electronic resource] : Interviews with Twenty Eminent Cognitive Scientists. by Series: Princeton legacy library
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Princeton : Princeton University Press, 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha