Seite 1 von 3
Anzahl pro Seite
Sortiert nach
Produkte: 33 Seite 1 von 3 Filter
Stuckey

Logic Programming  

Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43930-1 (Buch)
  • Erscheinungstermin: 17.07.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Schubert / Alves-Foss / Windley

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-60275-0 (Buch)
  • Erscheinungstermin: 23.08.1995
  • 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.)
Kott

Automata, Languages and Programming  

Automata, Languages and Programming
50,28 € (inkl. MwSt.) 46,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-16761-7 (Buch)
  • Erscheinungstermin: 01.06.1986
  • Lieferzeit ca. 10 Werktage
50,28 € (inkl. MwSt.) 46,99 € (zzgl. MwSt.)
Keller / Fasel

Graph Reduction  

Graph Reduction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Keller / Fasel

Graph Reduction

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18420-1 (Buch)
  • Erscheinungstermin: 07.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Szepietowski

Turing Machines with Sublogarithmic Space  

Turing Machines with Sublogarithmic Space
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58355-4 (Buch)
  • Erscheinungstermin: 29.08.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Vidal-Naquet / Monien

STACS 86  

STACS 86
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Vidal-Naquet / Monien

STACS 86

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-16078-6 (Buch)
  • Erscheinungstermin: 01.12.1985
  • Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.) 34,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.)
Dowek / Möller / Heering

Higher-Order Algebra, Logic, and Term Rewriting  

Higher-Order Algebra, Logic, and Term Rewriting
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61254-4 (Buch)
  • Erscheinungstermin: 08.05.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach