Ergebnisse filtern
-
- 64
-
- 64
-
- 3
- 52
- 9
-
- 64
-
- 64
-
- 64
- 7
Mathematik
-
Narukawa Modeling Decisions for Artificial Intelligence
5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-88268-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ralescu / Shanahan Fuzzy Logic in Artificial Intelligence
IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66374-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Narukawa / Inuiguchi Modeling Decisions for Artificial Intelligence
6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04819-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calmet / Plaza Artificial Intelligence and Symbolic Computation
International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Campbell / Roanes-Lozano Artificial Intelligence and Symbolic Computation
International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42071-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cadoli Tractable Reasoning in Aritificial Intelligence
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60058-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bosse / Geller / Jonker Multi-Agent-Based Simulation XI
International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers1. Auflage. 2011Verlag: SpringerISBN: 978-3-642-18344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walser Integer Optimization by Local Search
A Domain-Independent Approach1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66367-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beigl / Christiansen / Roth-Berghofer Modeling and Using Context
7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24278-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liu Symbolic and Quantitative Approaches to Reasoning with Uncertainty
11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22151-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walsh Algorithmic Decision Theory
4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23113-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ram / Wiratunga Case-Based Reasoning Research and Development
19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23290-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kinny / Hsu / Governatori Agents in Principle, Agents in Practice
14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25043-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nouwen / van Rooij / Sauerland Vagueness in Communication
International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers1. Auflage. 2011Verlag: SpringerISBN: 978-3-642-18445-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hong / Wang Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31332-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Botana / Quaresma Automated Deduction in Geometry
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21361-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schreck / Narboux / Richter-Gebert Automated Deduction in Geometry
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25069-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ida / Fleuriot Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40671-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64297-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner Theory Reasoning in Connection Calculi
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65509-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Agustín-Aquino / Lluis-Puebla / Montiel Mathematics and Computation in Music
6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-71826-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Collins / Meredith / Volk Mathematics and Computation in Music
5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-20602-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Küsters Non-Standard Inferences in Description Logics
From Foundations and Definitions to Algorithms and Analysis1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42397-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hussain / Zhao / Jiang Advances in Brain Inspired Cognitive Systems
14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962884-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cheng / Yu / Liu Advances in Knowledge Discovery and Data Mining
6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43704-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61398-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
Hutter / Stephan Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th BirthdayErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parigot / Voronkov Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41285-4Medium: 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 -
Croitoru / Rudolph / Wilson Graph Structures for Knowledge Representation and Reasoning
Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29448-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Schmitt Nonmonotonic and Inductive Logic
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54564-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner / Hähnle / Posegga Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59338-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Studer Natural Language and Logic
International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53082-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Furuhashi / Uchikawa Fuzzy Logic, Neural Networks, and Evolutionary Computation
IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61988-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Watt / Sexton / Davenport Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08433-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller The Design of Intelligent Agents
A Layered ApproachErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62003-7Medium: 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 -
Kwuida / Sertkaya Formal Concept Analysis
8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11927-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cimiano / Frank / Kohlhase Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-63535-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated DeductionErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54333-6Medium: 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. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Borwein / Farmer Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37104-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miglioli / Moscato / Mundici Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61208-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Le Hégarat-Mascle / Bloch / Aldea Belief Functions: Theory and Applications
7th International Conference, BELIEF 2022, Paris, France, October 26-28, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-17800-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McRobbie / Slaney Automated Deduction - Cade-13
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61511-8Medium: Buch106,99 € (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 -
Mineau / Moulin / Sowa Conceptual Graphs for Knowledge Representation
First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56979-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bilgic / Baets / Kaynak Fuzzy Sets and Systems - IFSA 2003
10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40383-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cialdea Mayer / Pirri Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40787-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gore / Leitsch / Nipkow Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42254-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ferré / Rudolph Formal Concept Analysis
7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01814-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlhase / Johansson / Miller Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42546-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rossi / Tsoukias Algorithmic Decision Theory
First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-04427-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bi / Jousselme / Denoeux Belief Functions: Theory and Applications
8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-67976-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Kobayashi / Tomita Algorithmic Learning Theory
4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57370-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kaliszyk / Brady / Kohlhase Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23249-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ellis / Levinson / Rich Conceptual Structures: Applications, Implementation and Theory
Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60161-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rabe / Farmer / Passmore Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96811-7Medium: 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. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55460-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Graf Term Indexing
1995Verlag: SpringerISBN: 978-3-540-61040-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Amigoni / Sinha Autonomous Agents and Multiagent Systems. Best and Visionary Papers
AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-56254-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay / Kruse / Nonnengart 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 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63095-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Perny / Pirlot / Tsoukiàs Algorithmic Decision Theory
Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41574-6Medium: 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