Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.
Ergebnisse filtern
-
- 63
-
- 62
- 1
-
- 2
- 53
- 8
-
- 63
-
- 61
- 2
-
- 63
- 6
-
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 -
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 -
Bonacina / Stickel Automated Reasoning and Mathematics
Essays in Memory of William W. McCune1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36674-1Medium: Buch49,22 € (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 -
Pearce / Wansing Nonclassical Logics and Information Processing
International Workshop, Berlin, Germany, November 9-10, 1990. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55745-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beklemishev / de Queiroz Logic, Language, Information, and Computation
18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20919-2Medium: 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 -
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. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
David / Sichman Multi-Agent-Based Simulation IX
International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01990-6Medium: 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 -
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 -
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 -
Tepfenhart / Dick / Sowa Conceptual Structures: Current Practices
Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58328-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ben Yahia / Mephu Nguifo / Belohlavek Concept Lattices and Their Applications
Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78920-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 -
Glodeanu / Kaytoue / Sacarea Formal Concept Analysis
12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07247-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Denoeux / Jousselme / Su Belief Functions: Theory and Applications
9th International Conference, BELIEF 2026, Nanjing, China, October 19–21, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-41959-0Medium: Buch70,61 € (inkl. MwSt.)
vorbestellbar -
Wen / Li / Polkowski Rough Sets and Knowledge Technology
4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02961-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Graf Term Indexing
1995Verlag: SpringerISBN: 978-3-540-61040-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55602-2Medium: Buch106,99 € (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 -
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 -
Thielscher Challenges for Action Theories
Erscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67455-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kirchner / Ringeissen Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67281-4Medium: 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