fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 9 Seite 1 von 1 Filter
Anzahl Produkte: 9 Computer Science Foundations and Applied Logic Mathematische Logik
Leitsch / Cerna / Lolic

First-Order Schemata and Inductive Proof Analysis  

First-Order Schemata and Inductive Proof Analysis
171,19 € (inkl. MwSt.) 159,99 € (zzgl. MwSt.)
Leitsch / Cerna / Lolic

First-Order Schemata and Inductive Proof Analysis

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-032-05740-2 (Buch)
  • Erscheinungstermin: 03.01.2026
  • Lieferzeit ca. 10 Werktage
171,19 € (inkl. MwSt.) 159,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty  

Multi-valued Logic for Decision-Making Under Uncertainty
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty

  • Verlag: Springer
  • ISBN: 978-3-031-74764-9 (Buch)
  • Erscheinungstermin: 19.02.2026
  • Lieferzeit ca. 10 Werktage
149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Farmer

Simple Type Theory  

Simple Type Theory
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Farmer

Simple Type Theory

  • Verlag: Birkhäuser
  • ISBN: 978-3-031-85354-8 (Buch)
  • Erscheinungstermin: 24.04.2026
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science  

Proof Assistants and Their Applications in Mathematics and Computer Science
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science

  • Verlag: Springer International Publishing AG
  • ISBN: 978-3-031-85189-6 (Buch)
  • Erscheinungstermin: 09.01.2027
  • Vorbestellbar
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Farmer

Simple Type Theory  

Simple Type Theory
64,19 € (inkl. MwSt.) 64,19 € (zzgl. MwSt.)
Farmer

Simple Type Theory

  • Verlag: Springer
  • ISBN: 978-3-031-21114-0 (Buch)
  • Erscheinungstermin: 03.01.2024
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 64,19 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Farmer

Simple Type Theory  

Simple Type Theory
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Farmer

Simple Type Theory

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-85351-7 (Buch)
  • Erscheinungstermin: 24.04.2025
  • Lieferzeit ca. 10 Werktage
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty  

Multi-valued Logic for Decision-Making Under Uncertainty
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty

  • Verlag: Springer
  • ISBN: 978-3-031-74761-8 (Buch)
  • Erscheinungstermin: 18.02.2025
  • Lieferzeit ca. 10 Werktage
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Supowit

Algorithms for Constructing Computably Enumerable Sets  

Algorithms for Constructing Computably Enumerable Sets
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Supowit

Algorithms for Constructing Computably Enumerable Sets

  • Verlag: Springer
  • ISBN: 978-3-031-26906-6 (Buch)
  • Erscheinungstermin: 11.06.2024
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Supowit

Algorithms for Constructing Computably Enumerable Sets  

Algorithms for Constructing Computably Enumerable Sets
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Supowit

Algorithms for Constructing Computably Enumerable Sets

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-26903-5 (Buch)
  • Erscheinungstermin: 24.05.2023
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach

Medium