Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Automated Theorem Proving: Theory and Practice -

Automated Theorem Proving: Theory and Practice

Glenn Derry (Herausgeber)

Buch | Hardcover
210 Seiten
2025
Willford Press (Verlag)
978-1-64728-679-8 (ISBN)
CHF 209,95 inkl. MwSt
  • Titel nicht im Sortiment
  • Artikel merken
Erscheinungsdatum
Sprache englisch
Themenwelt Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10 1-64728-679-4 / 1647286794
ISBN-13 978-1-64728-679-8 / 9781647286798
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