|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
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; Format:
available online
 ; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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.
|
|
|
|
11.
|
|
|
|
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; Format:
available online
; 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.
|
|
|
|
14.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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 .
|