Présentation de l'auteur B. Holden Sean :

Livres publiés jusqu'à présent par B. Holden Sean :

Apprentissage automatique de la résolution de théorèmes : Apprendre à résoudre les SAT et QSAT -...
New Publ Inc
La preuve automatique de théorèmes représente un...
Apprentissage automatique de la résolution de théorèmes : Apprendre à résoudre les SAT et QSAT - Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
<<
1
>>