Ergebnisse filtern
-
- 69
-
- 18
- 39
- 8
- 1
- 3
-
- 5
- 57
- 7
-
- 69
-
- 69
-
- 69
- 5
-
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 -
Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61208-7Medium: 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 -
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 -
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 -
Wansing The Logic of Information Structures
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56734-9Medium: 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 -
Tsoukias / Rossi 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 -
Mineau / Sowa / Moulin Conceptual Graphs for Knowledge Representation
First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56979-4Medium: 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, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21043-6Medium: Buch53,49 € (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 -
McRobbie / Slaney Automated Deduction - Cade-13
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61511-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wermter / Willshaw / Austin Emergent Neural Computational Architectures Based on Neuroscience
Towards Neuroscience-Inspired Computing2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42363-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 -
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 -
Gore / Nipkow / Leitsch Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42254-9Medium: Buch106,99 € (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 -
Watt / Sexton / Urban Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08433-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ringeissen / Kirchner Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 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