Ergebnisse filtern
-
- 17
-
- 17
-
- 15
- 2
-
- 17
-
- 17
-
- 17
Grundlagen der Mathematik
-
Shanahan / Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66374-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kelemen / Jorrand Fundamentals of Artificial Intelligence Research
International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54507-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lukose / Zhang Distributed Artificial Intelligence: Architecture and Modelling
First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61314-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eijck Logics in AI
European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53686-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Pearce Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Padmanabhan / McCune Automated Deduction in Equational Logic and Cubic Curves
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61398-5Medium: 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 -
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 -
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 -
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 -
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 -
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 -
Ohlbach / Gabbay Practical Reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61313-8Medium: Buch106,99 € (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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort