Your search returned 173 results.

Not what you expected? Check for suggestions
Sort
Results
Naturally intelligent systems / Maureen Caudill and Charles Butler.

by Caudill, Maureen | Butler, Charles (Charles T.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Identity, character, and morality : essays in moral psychology / edited by Owen Flanagan and Amélie Oksenberg Rorty.

by Flanagan, Owen J | Rorty, Amélie.

Series: Bradford BksEdition: 1st MIT press pbk. ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 1993, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Induction : processes of inference, learning, and discovery / John H. Holland [and others].

by Holland, John H. (John Henry), 1929-2015.

Series: Computational models of cognition and perceptionMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©1986Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Qualitative methods for reasoning under uncertainty / Simon Parsons.

by Parsons, Simon.

Series: Artificial Intelligence SerMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Developing an integrated drug information system : toolkit module 1 / Global Assessment Programme on Drug Abuse.

by Sloboda, Zili | Global Assessment Programme on Drug Abuse | United Nations International Drug Control Programme.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: New York : United Nations, 2003Other title: Toolkit module 1.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.).

by Asian Computing Science Conference (5th : 1999 : Phuket, Thailand) | Thiagarajan, P. S | Yap, Roland H. C, 1963-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1742.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).
Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings / Władysław Skarbek (ed.).

by CAIP 2001 (2001 : Warsaw, Poland) | Skarbek, Władysław.

Series: Serienbezeichnung | Lecture notes in computer science ; 2124.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
View synthesis using stereo vision / Daniel Scharstein.

by Scharstein, Daniel.

Series: Serienbezeichnung | Lecture notes in computer science ; 1583.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).
SDL 2001 : meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / Rick Reed, Jeanne Reed (eds.).

by SDL Forum (10th : 2001 : Copenhagen, Denmark) | Reed, Rick | Reed, Jeanne, 1948-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2078.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Learning language in logic / James Cussens, Sašo Džeroski, (eds.).

by Cussens, James | Džeroski, Sašo, 1968-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1925. | 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, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Agent-oriented software engineering II : second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions / Michael J. Wooldridge, Gerhard Weiss, Paolo Ciancarini (eds.).

by AOSE 2001 (2001 : Montréal, Québec) | Wooldridge, Michael J, 1966- | Weiss, Gerhard, 1962- | Ciancarini, Paolo, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2222.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.).

by LPAR (Conference) (2001 : Havana, Cuba) | Nieuwenhuis, Robert | Voronkov, Andrei, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2250. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; Heidelberg : Springer, ©2001Other title: LPAR 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multiple classifier systems : third international workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002 : proceedings / Fabio Roli, Josef Kittler (eds.).

by MCS (Workshop) (3rd : 2002 : Cagliari, Italy) | Roli, Fabio, 1962- | Kittler, Josef, 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2364.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (4th : 2001 : Akademgorodok, Novosibirsk, Russia) | Bjørner, D. (Dines), 1937- | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 2244.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2001Other title: PSI 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, eds.

by Levi, G. (Giorgio), 1942- | Rodríguez Artalejo, M. (Mario) | International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid, Spain).

Series: Serienbezeichnung | Lecture notes in computer science ; 850.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: ALP '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Numerical integration on advanced computer systems / edited by Arnold R. Krommer, Christoph W. Ueberhuber.

by Krommer, Arnold R | Ueberhuber, Christoph W, 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 848.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).
Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings / Anca Ralescu, ed.

by Ralescu, Anca L, 1949- | International Joint Conference on Artificial Intelligence (1993 : Chambéry, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 847. | 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, ©1994Other title: IJCAI '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Network and operating system support for digital audio and video : 4th international workshop, NOSSDAV '93, Lancaster, U.K., November 3-5, 1993 : proceedings / D. Shepherd [and others], eds.

by NOSSDAV '93 (1993 : Lancaster, England) | Shepherd, W. D. (W. Doug), 1939-.

Series: Serienbezeichnung | Lecture notes in computer science ; 846.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: NOSSDAV '93.Online 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).
Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings / Elisa Bertino, Susan Urban, eds.

by ISOOMS '94 (1994 : Palermo, Italy) | Bertino, Elisa | Urban, Susan.

Series: Serienbezeichnung | Lecture notes in computer science ; 858.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: ISOOMS '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha