Ergebnisse filtern
-
- 115
-
- 27
- 84
- 1
- 1
- 2
-
- 1
- 78
- 36
-
- 115
-
- 115
-
- 115
- 4
-
Armando / Dowek / Baumgartner Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71069-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Przymusinski / Moniz Pereira Logic Programming and Knowledge Representation
Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64958-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Warmuth / Schölkopf Learning Theory and Kernel Machines
16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40720-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lloyd / Dahl / Furbach Computational Logic - CL 2000
First International Conference London, UK, July 24-28, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67797-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Richter / Boley Processing Declarative Knowledge
International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55033-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dyckhoff Extensions of Logic Programming
4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58025-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pugliese / Godo Scalable Uncertainty Management
Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04387-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Dastani / Baresi Engineering Multi-Agent Systems
Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26183-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Slezak / Yao / Hu Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II2005Verlag: SpringerISBN: 978-3-540-28660-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shankar / Furbach Automated Reasoning
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37187-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sebag / Rouveirol Inductive Logic Programming
11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42538-0Medium: 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 -
Plümer Termination Proofs for Logic Programs
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52837-1Medium: 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 -
Olivetti Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73098-9Medium: 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