Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 10 Seite 1 von 1 Filter
Williams

Instantiation Theory  

Instantiation Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54333-6 (Buch)
  • Erscheinungstermin: 07.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pfenning

Logic Programming and Automated Reasoning  

Logic Programming and Automated Reasoning
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58216-8 (Buch)
  • Erscheinungstermin: 22.06.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wansing

The Logic of Information Structures  

The Logic of Information Structures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56734-9 (Buch)
  • Erscheinungstermin: 29.07.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kelemen / Jorrand

Fundamentals of Artificial Intelligence Research  

Fundamentals of Artificial Intelligence Research
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54507-1 (Buch)
  • Erscheinungstermin: 28.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Graf

Term Indexing  

Term Indexing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61040-3 (Buch)
  • Erscheinungstermin: 27.03.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ohlbach / Gabbay

Temporal Logic  

Temporal Logic
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Ohlbach / Gabbay

Temporal Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58241-0 (Buch)
  • Erscheinungstermin: 29.06.1994
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Voronkov

Logic Programming and Automated Reasoning  

Logic Programming and Automated Reasoning
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56944-2 (Buch)
  • Erscheinungstermin: 29.06.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bundy

Automated Deduction - CADE-12  

Automated Deduction - CADE-12
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58156-7 (Buch)
  • Erscheinungstermin: 08.06.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Brewka / Schmitt / Jantke

Nonmonotonic and Inductive Logic  

Nonmonotonic and Inductive Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Brewka / Schmitt / Jantke

Nonmonotonic and Inductive Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56433-1 (Buch)
  • Erscheinungstermin: 26.02.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Baumgartner / Posegga / Hähnle

Theorem Proving with Analytic Tableaux and Related Methods  

Theorem Proving with Analytic Tableaux and Related Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-59338-6 (Buch)
  • Erscheinungstermin: 26.04.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach