Seite 10 von 10
Anzahl pro Seite
Sortiert nach
Produkte: 101 Seite 10 von 10 Filter
Aagaard / Harrison

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67863-2 (Buch)
  • Erscheinungstermin: 27.07.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pitt / Curien / Abramsky

Category Theory and Computer Science  

Category Theory and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-54495-1 (Buch)
  • Erscheinungstermin: 21.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Baaz / Makowsky

Computer Science Logic  

Computer Science Logic
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Baaz / Makowsky

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40801-7 (Buch)
  • Erscheinungstermin: 18.08.2003
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Jones / Hagiya / Sato

Logic, Language and Computation  

Logic, Language and Computation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jones / Hagiya / Sato

Logic, Language and Computation

  • Verlag: Springer
  • ISBN: 978-3-540-57935-9 (Buch)
  • Erscheinungstermin: 30.03.1994
  • 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
  • ISBN: 978-3-540-56282-5 (Buch)
  • Erscheinungstermin: 02.12.1992
  • 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
  • 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
  • ISBN: 978-3-540-56734-9 (Buch)
  • Erscheinungstermin: 29.07.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Mycielski / Rozenberg / Salomaa

Structures in Logic and Computer Science  

Structures in Logic and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Mycielski / Rozenberg / Salomaa

Structures in Logic and Computer Science

  • Verlag: Springer
  • ISBN: 978-3-540-63246-7 (Buch)
  • Erscheinungstermin: 23.07.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Giunchiglia / Tacchella

Theory and Applications of Satisfiability Testing  

Theory and Applications of Satisfiability Testing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: J.B. Metzler
  • ISBN: 978-3-540-20851-8 (Buch)
  • Erscheinungstermin: 26.01.2004
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach