Sean B. Holden Machine Learning for Automated Theorem Proving (Taschenbuch)
Ø 0.0
0 Bewertungen
140,22 €
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:
-
Buchtitel:Machine Learning for Automated Theorem Proving
-
EAN:9781680838985
-
Erscheinungsdatum:22.11.2021
-
Subtitle:Learning to Solve SAT and QSAT
-
ISBN:9781680838985
-
Herstellungsland und -region:US
-
Höhe:234mm
-
Länge:156mm
-
Gewicht:289g
-
Genre:Computing & Internet
-
Buchreihe:Foundations and Trends® in Machine Learning
-
ISBN-10:1680838989
-
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
-
Standard Shipping from outside:Standardversand aus dem Ausland kostenlos - Lieferung zwischen 15. July 2025 und 23. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Russische Föderation , Frankreich , Großbritannien , Irland , Italien , Schweiz , Spanien , Ukraine , Belarus , Kanada , ... und weitere
