|
|
|
21. |
AIME 87 : European Conference on Artificial Intelligence in Medicine, Marseilles, 31 August, 3 September1987, proceedings /
Publication:
Berlin : Springer, 1987
. IX, 255 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
22. |
A many-sorted calculus based on resolution and paramodulation /
by Walther, Christoph
Publication:
London : Pitman ; Los Angeles, 1987
. 124 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
23. |
Fundamentals of artificial intelligence : an advanced course /
Publication:
Berlin ; New York : Springer-Verlag, 1986
. V, 313 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
24. |
Empirical analysis for expert systems /
by Politakis, Peter G.
Publication:
Boston : Pitman Advanced Pub. Program, 1985
. 123 p. ;
, Revision of thesis (Ph.D.) - Rutgers University.
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
25. |
Intelligent perceptual systems : new diretions in computational perception /
Publication:
Berlin : Springer-Verlag, 1993
. VIII, 378 p. :
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
26. |
RoboCup-99 : Robot Soccer World Cup III /
Publication:
Berlin ; New York : Springer, 2000
. XIV, 802 :
24 cm.
Date:2000
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
27. |
Foundations of knowledge representation and reasoning /
Publication:
Berlin : Springer-Verlag, 1994
. VIII, 355 p. ;
24 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
28. |
Balancing reactivity and social deliberation in multi-agent systems : from RoboCup to Real-World Applications /
Publication:
Berlin : Springer-Verlag, 2001
. VII, 235 p. :
Date:2001
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
29. |
Simulation, modeling, and programming for autonomous robots : first International Conference, SIMPAR 2008, Venice, Italy, November, 3-6, 2008, Proceedings /
Publication:
Berlin : Springer, 2008
. XI, 354 p. ;
23 cm.
Date:2008
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
30. |
Conceptual structures : broadening the base : 9. International conference on conceptual structures, ICCS 2001, Stanford, CA, USA, July 30-august 3, 2001 : proceedings /
Publication:
Berlin : Springer, 2001
. X, 376 p. ;
24 cm.
Date:2001
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
31. |
Knowledge engineering and knowledge management : ontologies and the semantic web : 13. International conference, EKAW 2002, Siguenza, October 1-4, 2002 : proceedings /
Publication:
Berlin : Springer-Verlag, 2002
. XI, 402 p. :
24 cm.
Date:2002
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
32. |
AIIA 2001 : advances in artificial intelligence : 7th congress of Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, proceedings /
Publication:
Berlin : Springer, 2001
. XII, 396 p. ;
24 cm.
Date:2001
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
33. |
Knowledge engineering and knowledge management : methods, models and tools : 12. international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings /
Publication:
Berlin : Springer-Verlag, 2000
. XIII, 456 p. ;
24 cm.
Date:2000
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
34. |
Reasoning with incomplete information /
by Etherington, David W.
Publication:
London : Pitman, 1988
. 240 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
35. |
Knowledge acquisition, modeling and management.Lecture notes in Artificial intelligence : lecture notes of CAS Seminar on Artificial Intelligence held in Dubrovnik, June 29-July 11, 1970 /
Publication:
Belgrade : Center for Advanced Studies, 1970
. II, 318 p. ;
28 cm.
Date:1970
Availability:
No items available:
Actions:
|
|
|
36. |
AIIA 99 : advances in artificial intelligence : 6th congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, selected papers /
Publication:
Berlin : Springer, 2000
. XI, 392 p. ;
24 cm.
Date:2000
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
37. |
Topics in artificial intelligence : 4th Congress of the Italian Association for Artificial Intelligence AIIA '95, Florence, Italy, October 11-13, 1995, proceedings /
Publication:
Berlin : Springer-Verlag, 1995
. XII, 450 p. :
24 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
38. |
Advances in fuzzy logic, neural networks and genetic algorithms : IEEE /
Publication:
Berlin : Springer, 1995
. VIII, 223 p. :
24 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
39. |
Fuzzy logic, neural networks and evolutionary computation : IEEE /
Publication:
Berlin : Springer, 1996
. VI, 243 p. :
24 cm.
Date:1996
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
40. |
Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, proceedings /
Publication:
Berlin : Springer-Verlag, 1997
. X, 620 p. ;
24 cm.
Date:1997
Availability:
No items available:
Checked out (1),
Actions:
|
|
