| |
405 books found.
Showing books 1 through 20:
|
| 1. |
|
Algorithmic Learning Theory: Proceedings
by K.P. Jantke, S Kobayashi, E. Tomita, Etsuji Tomita, Takashi Yokomori (Editor), T. Yokomori (Editor)
Paperback, Springer Verlag (October 1993)
|
|
| 2. |
|
Automated Modelling of Physical Systems
by P. Pandurang Nayak
Paperback, Springer Verlag (December 1995)
|
|
| 3. |
|
Logic for Programming and Automated Reasoning: 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings
by Michel Parigot (Editor), Andrei Voronkov (Editor)
Paperback, Springer Verlag (November 2000)
|
|
| 4. |
|
Artificial Intellegience and Symbolic Computation: International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
by International Conference on Artificial Intelligence and Symbolic Mathe, Eugenio Roanes-Lozano, Eugenio Roanes-Lozano (Editor)
Paperback, Springer Verlag (May 2001)
|
|
| 5. |
|
Balancing Reactivity and Social Deliberation in Multi-Agent Systems: From Robocup to Real-World Applications
by Markus Hannebauer (Editor), Enrico Pagello, Jan Wendler, Jan Wendler (Editor), Enrico Pagello (Editor)
Paperback, Springer Verlag (July 2001)
|
|
| 6. |
|
Principles of Data Mining and Knowledge Discovery: 5th European Conference, Pkdd 2001, Freiburg, Germany, September 3-5, 2001 Proceedings
by Luc De Raedt (Editor), Arno Siebes, Arno Siebes (Editor)
Paperback, Springer Verlag (October 2001)
|
|
| 7. |
|
Inductive Logic Programming: 11th International Conference, Ilp 2001, Strasbourg, France, September 9-11, 2001, Proceedings
by Celine Rouveirol (Editor), Michele Sebag, Michele Sebag (Editor)
Paperback, Springer Verlag (October 2001)
|
|
| 8. |
|
Advances in Artificial Life: 6th European Conference, Ecal 2001, Prague, Czech Republic, September 10-14, 2001, Proceedings
by Czech Republic) European Conference on Artificial Life 2001 Prague, Petr Sosik, Petr Sosik (Editor)
Paperback, Springer Verlag (September 2001)
|
|
| 9. |
|
Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
by Jurgen Richter-Gebert (Editor), Dongming Wang, INTERNATIONAL WORKSHOP ON AUTOMATED DEDU, Dongming Wang (Editor)
Paperback, Springer Verlag (October 2001)
|
|
| 10. |
|
Ki 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001, Proceedings
by Franz Baader (Editor), Gerhard Brewka, Thomas Eiter, Thomas Eiter (Editor), Gerhard Brewka (Editor)
Paperback, Springer Verlag (September 2001)
|
|
| 11. |
|
Formal Approaches to Agent-Based Systems: First International Workshop, Faabs 2000, Greenbelt, Md, Usa, April 5-7, 2000, Revised Papers
by Md.) Faabs 200 (2000 Greenbelt, J. L. Rash (Editor), James L. Rash, James L. Rash (Editor)
Paperback, Springer Verlag (November 2001)
|
|
| 12. |
|
Progress in Artificial Intelligence Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving: Proceedings of the 10th Portuguese Conference on Artificial Intelligence, Epia 2001, Porto, Portugal, December 17-20, 2001
by Portugal Portuguese Conference on Artificial Intelligence 2001 Porto, Pavel B. Brazdil, P. Brardil (Editor), Alipio Jorge (Editor), Alipio Jorge, A. Jorge (Editor)
Paperback, Springer Verlag (July 2002)
|
|
| 13. |
|
Advances in Soft Computing: Afss 2002 2002 Afss International Conference on Fuzzy Systems Calcuta, in Dia, February 3-6, 2002 Proceedings
by N. R. Pal (Editor), Michio Sugeno, Michio Sugeno (Editor), M. Sugeno (Editor), Nikhil R. Pal, Nikhil R. Pal (Editor)
Paperback, Springer Verlag (March 2002)
|
|
| 14. |
|
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services
by Christian Schulte
Paperback, Springer Verlag (May 2002)
|
|
| 15. |
|
Methods and Applications of Artificial Intelligence: Second Hellenic Conference on Ai, Setn 2002, Thessaloniki, Greece, April 11-12, 2002, Proceedings
by Greece) Hellenic Conference on Ai 2002 (Thessalonike, Constantine D. Spyropoulos, Constantine D. Spyropoulos (Editor)
Paperback, Springer Verlag (June 2002)
|
|
| 16. |
|
Advances in Natural Language Processing: Third International Conference, Portal 2002, Faro, Portugal, June 23-26, 2002 Proceedings
by Nuno J. Mamede (Editor), Nuno J. Mamede
Paperback, Springer Verlag (August 2002)
|
|
| 17. |
|
Artificial Intelligence: Methodology, Systems, and Applications 10th International Conference, Aims 2002 Varna, Bulgaria, September 4-6, 2002 Proceedings
by D.R. Scott (Editor)
Paperback, Springer Verlag (October 2002)
|
|
| 18. |
|
Progress in Evolutionary Computation: Ai'93 and Ai'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993 Armidale, Nsw, Australia, November 21-22, 199
by Xin Yao (Editor)
Paperback, Springer Verlag (August 1995)
|
|
| 19. |
|
Case-Based Reasoning Research and Development: First International Conference, Iccbr-95 Sesimbra, Portugal, October 23-26, 1995 Proceedings
by Manuela Veloso (Editor), Agnar Aamodt (Editor)
Paperback, Springer Verlag (December 1995)
|
|
| 20. |
|
The Design of Intelligent Agents: A Layered Approach
by Jorg P. Muller, J. P. Muller
Paperback, Springer Verlag (May 1997)
|
|
|
Lecture Notes in Artificial Intelligence