Ergebnisse filtern
-
- 60
-
- 60
-
- 2
- 50
- 8
-
- 60
-
- 60
-
- 60
- 6
-
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 / Ohlbach Practical Reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61313-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 -
Eklund Concept Lattices
Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21043-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kauers / Kerber / Miner Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73083-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pogodalla / Quatrini / Retoré Logic and Grammar
Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21489-9Medium: 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 -
Wermter / Austin / Willshaw Emergent Neural Computational Architectures Based on Neuroscience
Towards Neuroscience-Inspired ComputingErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42363-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort