Das Buch ist derzeit nicht auf Lager

Handbook of Practical Logic and Automated Reasoning

Autoren

John Harrison

Buchbewertung

3,9(13)Abgeben

Parameter

Seitenzahl: 702 Seiten
Lesezeit: 25 Stunden

Mehr zum Buch

This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.

Buchkauf

Handbook of Practical Logic and Automated Reasoning, John Harrison

Sprache
Erscheinungsdatum: 2015
product-detail.submit-box.info.binding: (Hardcover)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

3,9

Sehr gut

13 Bewertung

Abgeben

Hier könnte deine Bwertung stehen.

Titel: Handbook of Practical Logic and Automated Reasoning
Sprache: Englisch
Autor*innen: John Harrison
Verlag: Cambridge University Press
Erscheinungsdatum: 2015
Einband: Hardcover
Seitenzahl: 702
ISBN13: 9780521899574
Schlagwörter: Informatik & Programmierung, Handbücher und Anleitungen, Mathematik, Künstliche Intelligenz, Logik
Bewertung: 3,85 von 5 Sternen
Beschreibung: This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.