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
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)