Ergebnisse filtern
-
- 75
-
- 22
- 42
- 6
- 2
- 3
-
- 4
- 63
- 8
-
- 75
-
- 75
-
- 75
- 6
-
Kaiser Logic and Games on Automatic Structures
Playing with Quantifiers and Decompositions1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22806-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 -
Jantke / Yokomori / Kobayashi Algorithmic Learning Theory
4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57370-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller The Design of Intelligent Agents
A Layered Approach1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62003-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bürckert A Resolution Principle for a Logic with Restricted Quantifiers
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55034-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fermüller / Zamov / Leitsch Resolution Methods for the Decision Problem
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56732-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brock / Krichmar From Animals to Animats 17
17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-71532-7Medium: Buch70,61 € (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 -
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 -
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 -
Pirri / Cialdea Mayer Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40787-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 -
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 -
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 -
Bi / Denoeux / Jousselme Belief Functions: Theory and Applications
8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-67976-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlhase / Johansson / Tompa Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42546-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Le Hégarat-Mascle / Aldea / Bloch Belief Functions: Theory and Applications
7th International Conference, BELIEF 2022, Paris, France, October 26-28, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-17800-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cimiano / Stein / Frank Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63535-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dau The Logic System of Concept Graphs with Negation
And Its Relationship to Predicate Logic2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20607-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Farmer / Borwein Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37104-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Missaoui / Schmid Formal Concept Analysis
4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32203-0Medium: 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. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated Deduction1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21349-6Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort