Presentazione dell'autore B. Holden Sean:

Libri pubblicati finora da B. Holden Sean:

Apprendimento automatico per la dimostrazione automatica dei teoremi: Imparare a risolvere SAT e...
New Publ Inc
La dimostrazione automatica dei teoremi...
Apprendimento automatico per la dimostrazione automatica dei teoremi: Imparare a risolvere SAT e QSAT - Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)