Ergebnisse filtern
-
- 70
-
- 16
- 41
- 9
- 1
- 3
-
- 4
- 58
- 8
-
- 70
-
- 70
-
- 70
- 5
-
Benz / Ebert / Jäger Language, Games, and Evolution
Trends in Current Research on Language and Game Theory1. Auflage 2011Verlag: SpringerISBN: 978-3-642-18005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stephan / Hutter Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
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 -
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 -
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 -
Ben Yahia / Belohlavek / Mephu Nguifo Concept Lattices and Their Applications
Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78920-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Obiedkov / Medina Formal Concept Analysis
6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78136-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Studer Natural Language and Logic
International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53082-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner / Posegga / Hähnle Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59338-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bundy Automated Deduction - CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58156-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Autexier / Calmet / Delahaye Intelligent Computer Mathematics
10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14127-0Medium: 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 -
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 -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mineau / Sowa / Moulin Conceptual Graphs for Knowledge Representation
First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56979-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohlbach / Gabbay Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58241-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wermter / Willshaw / Austin Emergent Neural Computational Architectures Based on Neuroscience
Towards Neuroscience-Inspired Computing2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42363-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kaliszyk / Sacerdoti Coen / Brady Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-23249-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rudolph / Ferré Formal Concept Analysis
7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-01814-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bilgic / Kaynak / Baets Fuzzy Sets and Systems - IFSA 2003
10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40383-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51705-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roth-Berghofer / Schulz / Leake Modeling and Retrieval of Context
Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33587-0Medium: 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