Ergebnisse filtern
-
- 56
-
- 6
- 38
- 9
- 1
- 2
-
- 2
- 47
- 7
-
- 56
-
- 56
-
- 56
- 3
-
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rabe / Youssef / Farmer Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-96811-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miller / Benzmüller Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26¿31, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-53517-9Medium: Buch53,49 € (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 -
Carette / Aspinall / Windsteiger Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39319-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Uchikawa / Furuhashi Fuzzy Logic, Neural Networks, and Evolutionary Computation
IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61988-8Medium: 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 -
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 -
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 -
Erdem / Schaub / Lin Logic Programming and Nonmonotonic Reasoning
10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04237-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Studer Natural Language and Logic
International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53082-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 -
Sertkaya / Kwuida Formal Concept Analysis
8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings2010Verlag: SpringerISBN: 978-3-642-11927-9Medium: 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 -
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: 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 -
Rothe Algorithmic Decision Theory
5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25¿27, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-67503-9Medium: 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 -
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 -
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. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55460-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Graf Term Indexing
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61040-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schlechta Nonmonotonic Logics
Basic Concepts, Results, and Techniques1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62482-0Medium: 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 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sinha / Amigoni Autonomous Agents and Multiagent Systems. Best and Visionary Papers
AAMAS 2023 Workshops, London, UK, May 29 ¿June 2, 2023, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-56254-9Medium: Buch62,05 € (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