Ergebnisse filtern
-
- 69
-
- 15
- 41
- 9
- 1
- 3
-
- 4
- 56
- 9
-
- 69
-
- 69
-
- 69
- 5
-
Nareyek Constraint-Based Agents
An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42258-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davenport / Farmer / Rabe Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22672-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nagle / Pfeiffer Conceptual Structures: Theory and Implementation
7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57454-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rabe / Youssef / Farmer Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-96811-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kerber / Carette / Sorge Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.2015Verlag: Springer International PublishingISBN: 978-3-319-20614-1Medium: 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 -
Sinha / Amigoni Autonomous Agents and Multiagent Systems. Best and Visionary Papers
AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-56254-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schlechta Nonmonotonic Logics
Basic Concepts, Results, and Techniques1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62482-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay / Ohlbach / Kruse 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 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63095-1Medium: Buch106,99 € (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 -
Kohlhase Mathematical Knowledge Management
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31430-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miller / Benzmüller Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-53517-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ringeissen / Kirchner Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67281-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fermüller / Zamov / Leitsch Resolution Methods for the Decision Problem
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56732-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bürckert A Resolution Principle for a Logic with Restricted Quantifiers
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55034-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klusch / Unland / Ahrndt Multiagent System Technologies
14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45888-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Ditmarsch / Lang / Ju Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24129-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sichman / David Multi-Agent-Based Simulation IX
International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-01990-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sertkaya / Kwuida Formal Concept Analysis
8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings2010Verlag: SpringerISBN: 978-3-642-11927-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sakai / Chakraborty / Hassanien Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
12th International Conference, RSFDGrC 2009, Delhi, India, December 16-18, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10645-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wansing The Logic of Information Structures
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56734-9Medium: 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 -
Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61208-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dau The Logic System of Concept Graphs with Negation
And Its Relationship to Predicate Logic2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20607-1Medium: 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