Ergebnisse filtern
-
- 236
-
- 8
- 196
- 18
- 9
- 5
-
- 7
- 176
- 53
-
- 236
-
- 235
- 1
-
- 236
- 13
-
Vogt / Nehaniv / Sugita Symbol Grounding and Beyond
Third International Workshop on the Emergence and Evolution of Linguistic Communications, EELC 2006, Rome, Italy, September 30-October 1, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45769-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huo / Li / Ma Chinese Spoken Language Processing
5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49665-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ranise / Lutz Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24245-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Schmitt / Hähnle Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68977-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Swart / Roubens / Orlowska Theory and Applications of Relational Structures as Knowledge Instruments II
International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69223-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolter / Konev Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74620-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlas / Froidevaux Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60112-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Slutzki / Honavar Grammatical Inference
4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64776-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mineau / Ganter Conceptual Structures: Logical, Linguistic, and Computational Issues
8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67859-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Murray Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66086-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming
First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55460-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Rash / Gordon-Spears Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40665-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nolfi / Baldassarre / Baldassare From Animals to Animats 9
9th International Conference on Simulation of Adaptive Behavior, SAB 2006 Rome, Italy, September 25-29, 2006 Proceedings2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-38608-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williamson / Helmbold Computational Learning Theory
14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42343-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akman / Young / Bouquet Modeling and Using Context
Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42379-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stumme / Delugach Conceptual Structures: Broadening the Base
9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balcázar / Stephan / Long Algorithmic Learning Theory
17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-46649-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zighed / Zytkow / Komorowski Principles of Data Mining and Knowledge Discovery
4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41066-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moor / Ganter / Lex Conceptual Structures for Knowledge Creation and Communication
11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40576-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arimura / Sharma / Jain Algorithmic Learning Theory
11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41237-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Graf Term Indexing
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61040-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moniz Pereira / Alferes Reasoning with Logic Programming
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61488-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dix / Przymusinski / Moniz Pereira Non-Monotonic Extensions of Logic Programming
Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62843-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Nienhuys-Cheng Foundations of Inductive Logic Programming
1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62927-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort