Seite 1 von 4
Anzahl pro Seite
Sortiert nach
Produkte: 40 Seite 1 von 4 Filter
Cuny / Rozenberg / Ehrig

Graph Grammars and Their Application to Computer Science  

Graph Grammars and Their Application to Computer Science
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61228-5 (Buch)
  • Erscheinungstermin: 08.05.1996
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Pecuchet / Abdulrab

Word Equations and Related Topics  

Word Equations and Related Topics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56730-1 (Buch)
  • Erscheinungstermin: 29.06.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Fermüller / Zamov / Leitsch

Resolution Methods for the Decision Problem  

Resolution Methods for the Decision Problem
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56732-5 (Buch)
  • Erscheinungstermin: 29.07.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bürckert

A Resolution Principle for a Logic with Restricted Quantifiers  

A Resolution Principle for a Logic with Restricted Quantifiers
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55034-1 (Buch)
  • Erscheinungstermin: 11.12.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Eijck

Logics in AI  

Logics in AI
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-53686-4 (Buch)
  • Erscheinungstermin: 26.02.1991
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Taitslin / Meyer

Logic at Botik '89  

Logic at Botik '89
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Taitslin / Meyer

Logic at Botik '89

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-51237-0 (Buch)
  • Erscheinungstermin: 07.06.1989
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Tiuryn / Pacholski

Computer Science Logic  

Computer Science Logic
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Tiuryn / Pacholski

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60017-6 (Buch)
  • Erscheinungstermin: 18.07.1995
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Schulz

Word Equations and Related Topics  

Word Equations and Related Topics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55124-9 (Buch)
  • Erscheinungstermin: 29.01.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Probst / Bochmann

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56496-6 (Buch)
  • Erscheinungstermin: 30.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle  

Isabelle
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle

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