Machine Learning for Automated Theorem Proving : Learning to Solve SAT and QSAT

Författare
Sean B. Holden
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
2021 Utgivningsland okänt / Ej specificerat