( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Initial Experiments with Statistical Conjecturing over Large Formal Corpora.

, , и . FM4M/MathUI/ThEdu/DP/WIP@CIKM, том 1785 из CEUR Workshop Proceedings, стр. 219-228. CEUR-WS.org, (2016)

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.

Cezary Iwan

Cezary Miller

Cezary Rosenberger

Cezary Sydlo

Cezary Slominski

 

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

Monte Carlo Tableau Proof Search., , и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 563-579. Springer, (2017)Computing with Classical Real Numbers, и . CoRR, (2008)Microeconomics and the First Welfare Theorem., и . Arch. Formal Proofs, (2017)Initial Experiments with Statistical Conjecturing over Large Formal Corpora., , и . FM4M/MathUI/ThEdu/DP/WIP@CIKM, том 1785 из CEUR Workshop Proceedings, стр. 219-228. CEUR-WS.org, (2016)Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic., и . CICM, том 10383 из Lecture Notes in Computer Science, стр. 193-207. Springer, (2017)Matching Concepts across HOL Libraries., и . CICM, том 8543 из Lecture Notes in Computer Science, стр. 267-281. Springer, (2014)VizAR: Visualization of Automated Reasoning Proofs (System Description)., и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 303-308. Springer, (2023)Certified Computer Algebra on Top of an Interactive Theorem Prover., и . Calculemus/MKM, том 4573 из Lecture Notes in Computer Science, стр. 94-105. Springer, (2007)Proof Assistant Decision Procedures for Formalizing Origami., и . Calculemus/MKM, том 6824 из Lecture Notes in Computer Science, стр. 45-57. Springer, (2011)Automated Reasoning Service for HOL Light., и . MKM/Calculemus/DML, том 7961 из Lecture Notes in Computer Science, стр. 120-135. Springer, (2013)