Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design - Norman Rubin

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

(Autor)

Buch | Softcover
176 Seiten
2025
Hutson Street Press (Verlag)
978-1-02-420850-4 (ISBN)
CHF 24,35 inkl. MwSt
  • Titel nicht im Sortiment
  • Artikel merken
Erscheinungsdatum
Sprache englisch
Maße 156 x 234 mm
Gewicht 254 g
Themenwelt Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10 1-02-420850-8 / 1024208508
ISBN-13 978-1-02-420850-4 / 9781024208504
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Atlas der KI - Kate Crawford
Atlas der KI
die materielle Wahrheit hinter den neuen Datenimperien

von Kate Crawford

Buch | Hardcover (2024)
C.H.Beck (Verlag)
CHF 44,75
The Coming Wave - Mustafa Suleyman; Michael Bhaskar
The Coming Wave
Künstliche Intelligenz, Macht und das größte Dilemma des 21. …

von Mustafa Suleyman; Michael Bhaskar

Buch | Softcover (2025)
C.H.Beck (Verlag)
CHF 25,20
Facebook auf Facebook teilen
Kopieren Link zu dieser Seite kopieren