( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MPTP 0.2: Design, Implementation, and Initial Experiments.

. J. Autom. Reason., 37 (1-2): 21-43 (2006)

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

 

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

Translating Mizar for First Order Theorem Provers.. MKM, том 2594 из Lecture Notes in Computer Science, стр. 203-215. Springer, (2003)MPTP 0.2: Design, Implementation, and Initial Experiments.. J. Autom. Reason., 37 (1-2): 21-43 (2006)Foreword., , и . Math. Comput. Sci., 14 (3): 531-532 (2020)Machine Learner for Automated Reasoning 0.4 and 0.5., , и . PAAR@IJCAR, том 31 из EPiC Series in Computing, стр. 60-66. EasyChair, (2014)Guiding an Automated Theorem Prover with Neural Rewriting., , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 597-617. Springer, (2022)MaLARea: a Metasystem for Automated Reasoning in Large Theories.. ESARLT, том 257 из CEUR Workshop Proceedings, CEUR-WS.org, (2007)Property Invariant Embedding for Automated Reasoning., , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 1395-1402. IOS Press, (2020)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: Efficient Learning-Based Inference Guiding Machine., и . CICM, том 10383 из Lecture Notes in Computer Science, стр. 292-302. Springer, (2017)