( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Role of Entropy in Guiding a Connection Prover.

, , и . TABLEAUX, том 12842 из Lecture Notes in Computer Science, стр. 218-235. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Josef Urban

Josef Urban

Josef Urban

Josef Urban

Josef Urban

 

Другие публикации лиц с тем же именем

Theorem Proving in Large Formal Mathematics as an Emerging AI Field, и . CoRR, (2012)Translating Mizar for First Order Theorem Provers.. MKM, том 2594 из Lecture Notes in Computer Science, стр. 203-215. Springer, (2003)Foreword., , и . Math. Comput. Sci., 14 (3): 531-532 (2020)MPTP 0.2: Design, Implementation, and Initial Experiments.. J. Autom. Reason., 37 (1-2): 21-43 (2006)ENIGMA: Efficient Learning-Based Inference Guiding Machine., и . CICM, том 10383 из Lecture Notes in Computer Science, стр. 292-302. Springer, (2017)Auto-hyperlinking the Stacks Project., и . CICM (Work in Progress), стр. 19-24. (2015)Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description., , , и . CICM, том 8543 из Lecture Notes in Computer Science, стр. 435-439. Springer, (2014)A Wiki for Mizar: Motivation, Considerations, and Initial Prototype., , , и . AISC/MKM/Calculemus, том 6167 из Lecture Notes in Computer Science, стр. 455-469. Springer, (2010)Fast and Slow Enigmas and Parental Guidance., , , , и . FroCoS, том 12941 из Lecture Notes in Computer Science, стр. 173-191. Springer, (2021)ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)., , , , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 448-463. Springer, (2020)