Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 11 Seite 1 von 1 Filter
Howar / Huisman

Tests and Proofs  

Tests and Proofs
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Howar / Huisman

Tests and Proofs

  • Verlag: Springer International Publishing
  • ISBN: 978-3-031-72043-7 (Buch)
  • Erscheinungstermin: 10.09.2024
  • Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Alechina / Liang / Herzig

Logic, Rationality, and Interaction  

Logic, Rationality, and Interaction
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Alechina / Liang / Herzig

Logic, Rationality, and Interaction

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-45557-5 (Buch)
  • Erscheinungstermin: 24.10.2023
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Blackburn / van Ditmarsch / Manzano

Tools for Teaching Logic  

Tools for Teaching Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Blackburn / van Ditmarsch / Manzano

Tools for Teaching Logic

  • Verlag: Springer
  • ISBN: 978-3-642-21349-6 (Buch)
  • Erscheinungstermin: 23.05.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nipkow / Wenzel / Paulson

Isabelle/HOL  

Isabelle/HOL
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Nipkow / Wenzel / Paulson

Isabelle/HOL

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43376-7 (Buch)
  • Erscheinungstermin: 03.04.2002
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Meinke / Kovács

Tests and Proofs  

Tests and Proofs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Meinke / Kovács

Tests and Proofs

  • Verlag: Springer International Publishing
  • ISBN: 978-3-031-09826-0 (Buch)
  • Erscheinungstermin: 22.06.2022
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hansen / de Queiroz / Scedrov

Logic, Language, Information, and Computation  

Logic, Language, Information, and Computation
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-39783-7 (Buch)
  • Erscheinungstermin: 30.08.2023
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Costa / Areces

Dynamic Logic. New Trends and Applications  

Dynamic Logic. New Trends and Applications
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-031-26621-8 (Buch)
  • Erscheinungstermin: 15.02.2023
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Gasteren

On the Shape of Mathematical Arguments  

On the Shape of Mathematical Arguments
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-52849-4 (Buch)
  • Erscheinungstermin: 24.07.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Canavotto

Where Responsibility Takes You  

Where Responsibility Takes You
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-17110-9 (Buch)
  • Erscheinungstermin: 05.11.2022
  • Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Gabbay / Ohlbach / Kruse

Qualitative and Quantitative Practical Reasoning  

Qualitative and Quantitative Practical Reasoning
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63095-1 (Buch)
  • Erscheinungstermin: 28.05.1997
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach