Ergebnisse filtern
-
- 62
-
- 62
-
- 4
- 51
- 7
-
- 62
-
- 62
-
- 62
- 4
-
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 -
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 -
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 -
Thielscher Challenges for Action Theories
Erscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67455-9Medium: Buch53,49 € (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 -
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 -
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 -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (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 -
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 -
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 -
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 -
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 -
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 -
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 -
Bundy Automated Deduction - CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58156-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouquet / Serafini / Brézillon Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doshita / Furukawa / Jantke Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57369-2Medium: 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 -
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 -
Gabbay / Ohlbach Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58241-0Medium: 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 -
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