Your search returned 21 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 : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.). by Series: Lecture notes in computer science ; 1479.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.). by Series: Lecture notes in computer science ; 2381. | 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, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Model generation for natural language interpretation and analysis / Karsten Konrad. by Series: Lecture notes in computer science ; 2953. | 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-Verlag, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.). by Series: Lecture notes in computer science ; 2930. | 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, ©2004
Other title:
  • ADG 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
7.
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
8.
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.). by Series: Lecture notes in computer science ; 2605. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Festschrift.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.). by Series: Lecture notes in computer science ; 3702. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11554554
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • TABLEAUX 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.). by Series: Lecture notes in computer science ; 3632. | 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, ©2005
Other title:
  • CADE-20
  • CADE-twenty
  • 20th International Conference on Automated Deduction
  • Twentieth International Conference on Automated Deduction
  • International Conference on Automated Deduction
  • CADE 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
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
13.
Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings / Bernhard Gramlich (ed.). by Series: Lecture notes in computer science ; 3717. | 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, 2005
Other title:
  • FroCoS 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / Hoon Hong, Dongming Wang (eds.). by Series: Lecture notes in computer science ; 3763. | 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, ©2006
Other title:
  • ADG 2004
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
The seventeen provers of the world / foreword by Dana S. Scott ; Freek Wiedijk (ed.). by Series: Lecture notes in computer science ; 3600. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11542384
Publication details: Berlin ; New York : Springer, ©2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings / Renate A. Schmidt (ed.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 5663.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12717996
Publisher: Berlin : Springer, ©2009
Other title:
  • CADE-22
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / Silvio Ghilardi, Roberto Sebastiani (Eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 5749.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12747566
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2009
Other title:
  • FroCoS 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / Martin Giese, Arild Waaler (eds.). by Series: Lecture notes in computer science ; 5607. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Termination proofs for logic programs / Lutz Plümer. by Series: Lecture notes in computer science ; 446. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1990
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
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