Seite 54 von 56
Anzahl pro Seite
Sortiert nach
Produkte: 558 Seite 54 von 56 Filter
Dybjer / Smith / Nordström

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dybjer / Smith / Nordström

Types for Proofs and Programs

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60579-9 (Buch)
  • Erscheinungstermin: 18.10.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Smith

Elementare Berechenbarkeitstheorie  

Elementare Berechenbarkeitstheorie
22,99 € (inkl. MwSt.) 21,49 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60667-3 (Buch)
  • Erscheinungstermin: 30.04.1996
  • Lieferzeit ca. 10 Werktage
22,99 € (inkl. MwSt.) 21,49 € (zzgl. MwSt.)
Kleine Buening

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61377-0 (Buch)
  • Erscheinungstermin: 05.06.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ohlbach / Gabbay

Practical Reasoning  

Practical Reasoning
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Ohlbach / Gabbay

Practical Reasoning

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61313-8 (Buch)
  • Erscheinungstermin: 21.05.1996
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Marek / Truszcynski / Nerode

Logic Programming and Nonmonotonic Reasoning  

Logic Programming and Nonmonotonic Reasoning
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-59487-1 (Buch)
  • Erscheinungstermin: 07.06.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,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.)
Börger / Jäger / Richter

Computer Science Logic  

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

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56992-3 (Buch)
  • Erscheinungstermin: 11.08.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jantke / Yokomori / Kobayashi

Algorithmic Learning Theory  

Algorithmic Learning Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jantke / Yokomori / Kobayashi

Algorithmic Learning Theory

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57370-8 (Buch)
  • Erscheinungstermin: 20.10.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gamboa / Klein

Interactive Theorem Proving  

Interactive Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-08969-0 (Buch)
  • Erscheinungstermin: 01.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Baskent / Baskent / Ramanujam

Rohit Parikh on Logic, Language and Society  

Rohit Parikh on Logic, Language and Society
117,69 € (inkl. MwSt.) 109,99 € (zzgl. MwSt.)
Baskent / Baskent / Ramanujam

Rohit Parikh on Logic, Language and Society

  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-47842-5 (Buch)
  • Erscheinungstermin: 10.03.2017
  • Lieferzeit ca. 10 Werktage
117,69 € (inkl. MwSt.) 109,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach