Predstavenie autora B. Holden Sean:

Doterajšie vydané knihy od B. Holden Sean:

Strojové učenie pre automatizované dokazovanie tvrdení: Učenie sa riešiť SAT a QSAT - Machine...
New Publ Inc
Automatizované dokazovanie tvrdení predstavuje...
Strojové učenie pre automatizované dokazovanie tvrdení: Učenie sa riešiť SAT a QSAT - Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
<<
1
>>