Refine your search

Your search returned 1156 results.

Not what you expected? Check for suggestions
1.
Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications / Christian Freksa [and others], eds.

by Freksa, C.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2000Other title: Spatial cognition two | Spatial cognition 2.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Multiagent platforms : First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998 : selected papers / Toru Ishida (ed.).

by Pacific Rim International Workshop on Multi-agents (1st : 1998 : Singapore) | Ishida, Toru.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Gesture-based communication in human-computer interaction : international Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings / Annelies Braffort [and others] (eds.).

by Gesture Workshop (1999 : Gif-sur-Yvette, France) | Braffort, Annelies.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, (eds.).

by RSCTC (Conference) (1st : 1998 : Warsaw, Poland) | Polkowski, Lech | Skowron, Andrzej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, ©1998Other title: RSCTC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.).

by TABLEAUX 2002 (2002 : Copenhagen, Denmark) | Egly, Uwe, 1960- | Fermüller, C. (Christian), 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Text, speech, and dialogue : 5th International Conference, TSD 2002, Brno, Czech Republic, September 9-12, 2002 : proceedings / Petr Sojka, Ivan Kopeček, Karel Pala, eds.

by TSD (Conference) (5th : 2002 : Brno, Czech Republic) | Sojka, Petr | Kopeček, Ivan | Pala, Karel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings / Pavel Brazdil, Alípio Jorge, eds.

by Portuguese Conference on Artificial Intelligence (10th : 2001 : Porto, Portugal) | Brazdil, Pavel B, 1945- | Jorge, Alípio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Other title: Knowledge extraction, multi-agent systems, logic programming, and constraint solving | EPIA 01 | EPIA 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings / Guilherme Bittencourt, Geber L. Ramalho (eds.).

by Simpósio Brasileiro de Inteligência Artificial (16th : 2002 : Recife, Brazil) | Bittencourt, Guilherme | Ramalho, Geber L, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Progress in artificial intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003 : proceedings / Fernando Moura Pires, Salvador Abreu (eds.).

by Portuguese Conference on Artificial Intelligence (11th : 2003 : Beja, Portugal) | Pires, Fernando Moura, 1948-2003 | Abreu, Salvador, 1961- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: EPIA 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
MICAI 2004 : advances in artificial intelligence : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004 : proceedings / Raúl Monroy [and others] (eds.).

by Mexican International Conference on Artificial Intelligence (3rd : 2004 : Mexico City, Mexico) | Monroy, Raúl.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: Advances in artificial intelligence | Third Mexican International Conference on Artificial Intelligence.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Formal concept analysis : foundations and applications / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.).

by Ganter, Bernhard | Stumme, Gerd, 1967- | Wille, Rudolf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Agent mediated electronic commerce IV : designing mechanisms and systems : AAMAS 2002 Workshop on Agent-Mediated Electronic Commerce, Bologna, Italy, July 16, 2002 : revised papers / Julian Padget, Onn Shehory, David Parkes, Norman Sadeh, William E. Walsh (eds.).

by Padget, Julian (Julian A.) [edt] | Shehory, Onn [edt] | Parkes, David [edt] | Sadeh, Norman [edt] | Walsh, William E [edt] | Workshop on Agent-Mediated Electronic Commerce, AAMAS 2002 (16-07-2002 : Bologna, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2002Other title: Agent-mediated electronic commerce 4 | AMEC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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).

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). Location(s): EBook .
14.
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.

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). Location(s): EBook .
15.
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Recent advances in AI planning : 4th European Conference on Planning, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings / Sam Steel, Rachid Alami (eds.).

by Steel, Sam [edt] | Alami, Rachid [edt] | European Conference of Planning, ECP (4 : 1997 : Toulouse).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1997Other title: ECP'97.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings / Elpira Keravnou [and others] (eds.).

by Keravnou, Elpida [edt] | Conference on Artificial Intelligence in Medicine Europe, AIME (6 : 23-03-1997 - 26-03-1997 : Grenoble).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1997Other title: AIME '97.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Algorithmic learning theory : 7th International workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Setsuo Arikawa, Arun K. Sharma (eds.).

by Arikawa, S. (Setsuo), 1941- [edt] | Sharma, Arun K, 1962- [edt] | International Workshop on Algorithmic Learning Theory ALT (7 : 1996 : Sydney).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1996Other title: ALT '96 | ALT'96.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Advances in artificial intelligence : 13th Brazilian symposium on artificial intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings / Díbio L. Borges, Celso A.A. Kaestner (eds.).

by Borges, Díbio L [edt] | Kaestner, Celso A. A [edt] | Brazilian Symposium on Artificial Intelligence, SBIA (13 : 1996 : Curitiba).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1996Other title: SBIA '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings / José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).

by Alferes, José Júlio [edt] | Pereira, Luís Moniz [edt] | Orlowska, Ewa [edt] | European Workshop on Logics in Artificial Intelligence (1996 : Évora, Portugal) | Journées Européennes sur la Logique en Intelligence Artificielle, JELIA.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c. 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha