Ergebnisse filtern
-
- 236
-
- 8
- 196
- 18
- 9
- 5
-
- 7
- 176
- 53
-
- 236
-
- 235
- 1
-
- 236
- 13
-
Urban / Ramanayake Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18¿21, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43512-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang Association Rule Mining
Models and Algorithms2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43533-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ho / Zaki Large-Scale Parallel Data Mining
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67194-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Larsen / Martin-Bautista / De Tré Flexible Query Answering Systems
15th International Conference, FQAS 2023, Mallorca, Spain, September 5¿7, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42934-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alonso / Kazakov / Kudenko Adaptive Agents and Multi-Agent Systems
Adaptation and Multi-Agent Learning2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40068-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marek / Truszcynski / Nerode Logic Programming and Nonmonotonic Reasoning
Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59487-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Godin / Ganter Formal Concept Analysis
Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24525-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sofronie-Stokkermans / Peltier Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1¿4, 2020, Proceedings, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-51053-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flach / Raedt Machine Learning: ECML 2001
12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42536-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fernmüller / Egly Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43929-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner / Posegga / Hähnle Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59338-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rusinowitch / Basin Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22345-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Obiedkov / Medina Formal Concept Analysis
6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78136-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Helmert Understanding Planning Tasks
Domain Complexity and Heuristic Decomposition2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77722-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Niemelä / Lifschitz Logic Programming and Nonmonotonic Reasoning
7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20721-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nieuwenhuis Automated Deduction ¿ CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jin / Wang Fuzzy Systems and Knowledge Discovery
Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28331-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blackwell / Shimojima / Marriott Diagrammatic Representation and Inference
Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21268-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gramlich Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29051-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lawry / Ralescu / Shanahan Modelling with Words
Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20487-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dau / Stumme / Mugnier Conceptual Structures: Common Semantics for Sharing Knowledge
13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27783-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganter / Wille / Stumme Formal Concept Analysis
Foundations and Applications2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27891-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bundy Automated Deduction ¿ CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26¿July 1, 1994 Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58156-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Owens / Fisher Executable Modal and Temporal Logics
IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58976-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Armando Frontiers of Combining Systems
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43381-1Medium: 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