Presentación del autor B. Holden Sean:

Libros publicados hasta ahora por B. Holden Sean:

Aprendizaje automático para la resolución automatizada de teoremas: Aprender a resolver SAT y QSAT -...
New Publ Inc
La demostración automática de teoremas es un campo...
Aprendizaje automático para la resolución automatizada de teoremas: Aprender a resolver SAT y QSAT - Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
<<
1
>>

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.10.17 08:50 (GMT+2)