Sean B. Holden Machine Learning for Automated Theorem (Taschenbuch) (US IMPORT)
Ø 0.0
0 Bewertungen
114,67 €
Propositional satisfiability (SAT) solving and machine learning are both large and longstanding areas of research, and each has a correspondingly large literature. In this book, the author presents the results of his thorough and systematic review of the research at the intersection of these two apparently rather unrelated fields.
Jetzt bei Ebay:
-
Erscheinungsdatum:22.11.2021
-
Buchtitel:Machine Learning for Automated Theorem Proving
-
EAN:9781680838985
-
Buchreihe:Foundations and Trends® in Machine Learning
-
ISBN:9781680838985
-
Herstellungsland und -region:US
-
Höhe:234mm
-
Länge:156mm
-
Gewicht:289g
-
Genre:Computing & Internet
-
ISBN-10:1680838989
-
Subtitle:Learning to Solve SAT and QSAT
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2021
-
Anzahl der Seiten:202 Seiten
-
Autor:Sean B. Holden
-
Verlag:Now Publishers Inc
-
Publikationsname:Machine Learning For Automated Theorem Proving
-
Sprache:Englisch
-
Economy Shipping from outside:Sparversand aus dem Ausland kostenlos - Lieferung zwischen 07. July 2025 und 16. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Russische Föderation , Frankreich , Großbritannien , Guernsey , Irland , Italien , Jersey , Niederlande , Schweiz , Spanien , ... und weitere
