( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MaLeCoP Machine Learning Connection Prover.

, , и . TABLEAUX, том 6793 из Lecture Notes in Computer Science, стр. 263-277. Springer, (2011)

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.

Jirí Mencák

Jirí Panyr

Jirí Friml

Jirí Simácek

Günther Jirikowski

 

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

Theorem Proving in Large Formal Mathematics as an Emerging AI Field, и . CoRR, (2012)Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation., и . MICAI, том 4827 из Lecture Notes in Computer Science, стр. 305-315. Springer, (2007)Machine Learner for Automated Reasoning 0.4 and 0.5., , и . PAAR@IJCAR, том 31 из EPiC Series in Computing, стр. 60-66. EasyChair, (2014)Feature-Based Multi-Object Tracking With Maximally One Object per Class., , , , и . FUSION, стр. 1-8. IEEE, (2022)Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description., , , и . CICM, том 8543 из Lecture Notes in Computer Science, стр. 435-439. Springer, (2014)System Description: E.T. 0.1., , , и . CADE, том 9195 из Lecture Notes in Computer Science, стр. 389-398. Springer, (2015)Production Planning with IEC 62264 and PDDL., , , , , , , и . INDIN, стр. 492-499. IEEE, (2019)Theorem Proving in Large Formal Mathematics as an Emerging AI Field., и . Automated Reasoning and Mathematics, том 7788 из Lecture Notes in Computer Science, стр. 240-257. Springer, (2013)Automated Proof Compression by Invention of New Definitions., , и . LPAR (Dakar), том 6355 из Lecture Notes in Computer Science, стр. 447-462. Springer, (2010)Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems., , , , , , , и . IEEE Trans Autom. Sci. Eng., 18 (1): 230-243 (2021)