Ergebnisse filtern
-
- 103
-
- 6
- 93
- 2
- 2
-
- 81
- 22
-
- 103
- 1
-
- 102
- 1
-
- 103
- 4
-
Schumacher Objective Coordination in Multi-Agent System Engineering
Design and Implementation2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lambrix Part-Whole Reasoning in an Object-Centered Framework
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67225-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salzer / Caferra Automated Deduction in Classical and Non-Classical Logics
Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67190-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kakas / Sadri Computational Logic: Logic Programming and Beyond
Essays in Honour of Robert A. Kowalski, Part II2002Verlag: Springer-Verlag GmbHISBN: 978-3-540-43960-8Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Winikoff / Son Declarative Agent Languages and Technologies V
5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77563-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhong / Suzuki / Ras Foundations of Intelligent Systems
14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20256-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Esposito / Semeraro / Ras Foundations of Intelligent Systems
16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45764-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Furukawa / Fujisaki / Tanaka Logic Programming '88
Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 19881989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51564-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Furbach Logic Programming and Nonmonotonic Reasoning
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63255-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Loog / Heutte Advanced Intelligent Computing Theories and Applications
Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74201-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ringwood / Huntbach Agent-Oriented Programming
From Prolog to Guarded Definite Clauses1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66683-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / Rao / Singh Intelligent Agents V: Agents Theories, Architectures, and Languages
5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65713-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vieira / Quaresma / Dias Computational Processing of the Portuguese Language
7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34045-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gentile / Bshouty Learning Theory
20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72925-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olivetti Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73098-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schärfe / Ohrstrom / Hitzler Conceptual Structures: Inspiration and Application
14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35893-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yamamoto / Horváth Inductive Logic Programming
13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20144-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated Deduction1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganzinger Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66222-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plümer Termination Proofs for Logic Programs
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52837-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yokoo / Yuan Intelligent Agents: Specification, Modeling, and Application
4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42434-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fernmüller / Egly Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43929-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort