Seite 1 von 3
Anzahl pro Seite
Sortiert nach
Produkte: 31 Seite 1 von 3 Filter
Miglioli / Ornaghi / Moscato

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-61208-7 (Buch)
  • Erscheinungstermin: 24.04.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kelemen / Kelemenova

Trends, Techniques, and Problems in Theoretical Computer Science  

Trends, Techniques, and Problems in Theoretical Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18535-2 (Buch)
  • Erscheinungstermin: 21.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Richter / Jäger

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Richter / Jäger

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55789-0 (Buch)
  • Erscheinungstermin: 10.09.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Tacchella / Giunchiglia

Theory and Applications of Satisfiability Testing  

Theory and Applications of Satisfiability Testing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-20851-8 (Buch)
  • Erscheinungstermin: 26.01.2004
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pettorossi

Meta-Programming in Logic  

Meta-Programming in Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56282-5 (Buch)
  • Erscheinungstermin: 02.12.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dershowitz

Rewriting Techniques and Applications  

Rewriting Techniques and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-51081-9 (Buch)
  • Erscheinungstermin: 22.03.1989
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wirsing / Maluszynski

Programming Language Implementation and Logic Programming  

Programming Language Implementation and Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54444-9 (Buch)
  • Erscheinungstermin: 14.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Clarke / Moral / Kruse

Symbolic and Quantitative Approaches to Reasoning and Uncertainty  

Symbolic and Quantitative Approaches to Reasoning and Uncertainty
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57395-1 (Buch)
  • Erscheinungstermin: 20.10.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Camilleri / Melham

Higher Order Logic Theorem Proving and Its Applications  

Higher Order Logic Theorem Proving and Its Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58450-6 (Buch)
  • Erscheinungstermin: 07.09.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wagner / Pearce

Logics in AI  

Logics in AI
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wagner / Pearce

Logics in AI

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55887-3 (Buch)
  • Erscheinungstermin: 19.08.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach