Refine your search

Your search returned 137 results.

Sort
Results
1.
2.
Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9 - 10, 1990, Proceedings / D. Pearce, H. Wansing, eds. by Series: Lecture Notes in Artificial Intelligence ; v. 619
Material type: Text Text; Format: print
Publication details: Berlin : Springer-Verlag, 1992
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.5 . N66.

3.
4.
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 Hdhnle, 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: print ; Literary form: Not fiction
Publication details: Berlin : New York : Springer, c1995
Other title:
  • TABLEAUX '95: Theorem proving with analytic tableaux and related methods
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA76.9 . A96T33 1995, ...

5.
6.
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings / Michael M. Richter...[et al.]. by Series: Lecture notes in artificial intelligence ; 1501
Material type: Text Text; Format: print
Publication details: Germany : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.9 . A43A57 1998.

7.
Distributed reason maintenance for multiagent systems / Gerhard K. Kraetzschmar. by Series: Lecture notes in artificial intelligence ; 1229
Material type: Text Text; Format: print
Publication details: Germany : Springer, 1997
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.76 . I58K73.

8.
Prosody in speech understanding systems / Ralf Kompe. by Series: Lecture notes in artificial intelligence ; 1307
Material type: Text Text; Format: print
Publication details: Berlin, NE : Springer, 1997
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library TK7895 . S65K65.

9.
Collective robotics : First International Workshop, CRW '98, Paris, France, July 4-5, 1998 : proceedings / Alexis Drogoul, Milind Tambe, Toshio Fukuda (eds.) by Series: Lecture notes in computer science ; 1456 | Lecture notes in computer science. Lecture notes in artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library TJ210.3 . C78 1998.

10.
Virtual worlds : First International Conference, VM '98, Paris, France, July 1-3, 1998 : proceedings / Jean-Claude Heudin, editor. by Series: Lecture notes in artificial intelligence ; 1434
Material type: Text Text; Format: print
Publication details: Germany : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.9 . H35V8 1998.

11.
12.
Foundations of intelligent systems : 10th international symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings /|cZbigniew W. Ras, Andrezej Skowron (eds.) by Series: Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer science ; 1325
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin, NE : Springer, 1997
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA76.76 . E95F68.

13.
14.
15.
16.
Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel, Karl F. Wender, editors. by Series: Lecture notes in computer science ; 1404 | Lecture notes in computer science. Lecture notes in artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection Q387 . S62, ...

17.
PRICAI'98 : topics in artificial intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : proceedings / Hing-Yan Lee, Hiroshi Motoda (eds.) by Series: Lecture notes in computer science ; 1531 | Lecture notes in computer science. Lecture notes in artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection Q334 . P33 1998.

18.
19.
Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers / Grigoris Antoniou, John Slaney (eds.) by Series: Lecture notes in computer science ; 1502 | Lecture notes in computer science. Lecture notes in artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer Verlag, c1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection Q334 . A87 1998.

20.
Pages

QUICK ACCESS

LIBRARY GUIDES

UMS IR

MyUMS LIBRARY ACCOUNT

SUBJECT GUIDES

Turnitin

UMS ARCHIVE