Your search returned 17 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.
3.
4.
Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings / William Tepfenhart, Walling Cyre (eds.). by Series: Lecture notes in computer science ; 1640. | 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
Other title:
  • ICCS'99
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Computational intelligence : theory and applications : international conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999 : proceedings / Bernd Reusch (ed.). by Series: Lecture notes in computer science ; 1625.
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
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.
An approach to knowledge base management / Nelson Mendonça Mattos. by Series: Lecture notes in computer science ; 513. | 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, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
Multiagent systems : a theoretical framework for intentions, know-how, and communications / Munindar P. Singh ; foreword by Michael N. Huhns. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 799.
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
11.
12.
A perspective of constraint-based reasoning : an introductory tutorial / edited by H.W. Güsgen, J. Hertzberg. by Series: Lecture notes in computer science ; 597. | 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, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Topics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers / Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter, eds. by Series: Lecture notes in computer science ; 837. | 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, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
15.
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans J. Ohlbach (eds.). by Series: Lecture notes in computer science ; 827. | 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, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming [electronic resource] / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1998
Other title:
  • Logic programming
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Multisensor integration and fusion for intelligent machines and systems / edited by Ren C. Luo and Michael G. Kay. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Norwood, N.J. : Ablex Pub., ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha