Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
AI 2003 : advances in artificial intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003 : proceedings / Tamás D. Gedeon, Lance Chun Che Fung, eds. by Series: Lecture notes in computer science ; 2903. | 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, ©2003
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
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
3.
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.). by Series: Lecture notes in computer science ; 3452. | 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:
  • LPAR 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings / Lluís Godo (ed.). by Series: Lecture notes in computer science ; 3571. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11518655
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • ECSQARU 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings / Francois Fages, Sylvain Soliman (eds.). by Series: Lecture notes in computer science ; 3703.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11552222
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Semantic Web reasoning
  • PPSWR 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
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
Pages

Powered by Koha