Your search returned 18 results.

Not what you expected? Check for suggestions
Sort
Results
Multisensor integration and fusion for intelligent machines and systems / edited by Ren C. Luo and Michael G. Kay.

by Luo, Ren C | Kay, Michael G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Norwood, N.J. : Ablex Pub., ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.

by Gabbay, Dov M, 1945- | Hogger, Christopher John | Robinson, J. A. (John Alan).

Series: Oxford science publicationsMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1998Other title: Logic programming.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis.

by Ada Software Tools Interfaces Workshop (1983 : Bath, England) | Wallis, Peter J. L.

Series: Serienbezeichnung | Lecture notes in computer science ; 180.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (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 Melham, T. F. (Tom F.) | Camilleri, Juanito.

Series: Serienbezeichnung | Lecture notes in computer science ; 859.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings / ed.: P. Barahona, L. Moniz Pereira [and] A. Porto.

by Portuguese Conference on Artificial Intelligence (5th : 1991 : Albufeira, Portugal) | Barahona, P. (Pedro), 1954- [edt] | Pereira, Luís Moniz [edt] | Porto, A [edt] | Portuguese Conference on Artifical Intelligence, EPIA (5 : 1991 : Albufeira, Portugal).

Series: Serienbezeichnung | Lecture notes in computer science ; 541. | 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 : Springer, ©1991Other title: EPIA 1991.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multi-agent system engineering : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 : Valencia, Spain, June 30-July 2, 1999 : proceedings / Francisco J. Garijo, Magnus Boman (eds.).

by European Workshop on Modelling Autonomous Agents in a Multi-Agent World (9th : 1999 : Valencia, Spain) | Garijo, Francisco J | Boman, Magnus.

Series: Serienbezeichnung | Lecture notes in computer science ; 1647. | 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, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 International Conference on Conceptual Structures (7th : 1999 : Blacksburg, Va.) | Tepfenhart, William M | Cyre, Walling.

Series: Serienbezeichnung | 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, 1999Other title: ICCS'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computational intelligence : theory and applications : international conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999 : proceedings / Bernd Reusch (ed.).

by Dortmunder Fuzzy-Tage (6th : 1999) | Reusch, B. (Bernd).

Series: Serienbezeichnung | Lecture notes in computer science ; 1625.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multiple approaches to intelligent systems : 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3, 1999 : proceedings / Ibrahim Imam [and others] (eds.).

by International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (12th : 1999 : Cairo, Egypt) | Imam, Ibrahim (Ibrahim F.), 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1611. | 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 ; London : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 TABLEAUX '99 (1999 : Saratoga Springs, N.Y.) | Murray, Neil V.

Series: Serienbezeichnung | 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, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
An approach to knowledge base management / Nelson Mendonça Mattos.

by Mattos, Nelson Mendonça, 1959-.

Series: Serienbezeichnung | 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, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Uncertainty in knowledge-based systems : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30-July 4, 1986 :selected and extended contributions / B. Bouchon, R.R. Yager (eds.).

by International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (1986 : Paris, France) | Bouchon-Meunier, B. (Bernadette), 1948- | Yager, Ronald R, 1941-.

Series: Serienbezeichnung | Lecture notes in computer science ; 286.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1987Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multiagent systems : a theoretical framework for intentions, know-how, and communications / Munindar P. Singh ; foreword by Michael N. Huhns.

by Singh, Munindar P. (Munindar Paul), 1964-.

Series: Serienbezeichnung | 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, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fuzzy logic and fuzzy control : IJCAI '91 workshops on fuzzy logic and fuzzy control, Sydney, Australia, August 24, 1991 : proceedings / Dimiter Driankow, Peter W. Eklund, Anca L. Ralescu, eds.

by International Joint Conference on Artificial Intelligence (1991 : Sydney, N.S.W.) | Driankov, Dimiter | Eklund, Peter W, 1962- | Ralescu, Anca L, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 833. | 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, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
A perspective of constraint-based reasoning : an introductory tutorial / edited by H.W. Güsgen, J. Hertzberg.

by Güsgen, Hans Werner, 1959- | Hertzberg, J. (Joachim), 1958-.

Series: Serienbezeichnung | 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, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 EWCBR '93 (1993 : Kaiserslautern, Germany) | Wess, Stefan | Althoff, Klaus-Dieter | Richter, Michael M, 1938-.

Series: Serienbezeichnung | 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, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer aided systems theory--EUROCAST '93 : a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings / F. Pichler, R. Moreno Díaz, eds.

by International Workshop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas, Spain) | Pichler, Franz, 1936- | Moreno-Díaz, Roberto.

Series: Serienbezeichnung | Lecture notes in computer science ; 763.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans J. Ohlbach (eds.).

by Gabbay, Dov M, 1945- | Ohlbach, Hans Jürgen.

Series: Serienbezeichnung | 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, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha