Ergebnisse filtern
-
- 40
-
- 11
- 27
- 2
-
- 1
- 34
- 5
-
- 40
- 1
-
- 40
-
- 40
- 2
-
Moniz Pereira / Alferes Reasoning with Logic Programming
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61488-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dix / Przymusinski / Moniz Pereira Non-Monotonic Extensions of Logic Programming
Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62843-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sakakibara / Paliouras Grammatical Inference: Algorithms and Applications
7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23410-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Queiroz / Dawar Logic, Language, Information and Computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-13823-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bruza / Sofge / Klusch Quantum Interaction
Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00833-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adriaans / Zaanen / Fernau Grammatical Inference: Algorithms and Applications
6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44239-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Puppis Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11880-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sarukkai / Ramanujam Logic and Its Applications
Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-92700-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt Automated Deduction ¿ CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-02958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bellodi / Zese / Lisi Inductive Logic Programming
32nd International Conference, ILP 2023, Bari, Italy, November 13¿15, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49298-3Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Matousek / Tauser / Mautner Text, Speech and Dialogue
4th International Conference, TSD 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42557-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bosch / Lang / Gabelaia Logic, Language, and Computation
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-00664-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Herzig / Pardo / Luo Logic and Argumentation
5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-40874-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Staab Grading Knowledge
Extracting Degree Information from Texts1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66934-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dyckhoff Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67697-3Medium: 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