( en | de | ru )

 

Disambiguation of "Kühlwein, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
E-MaLeS 1.1.

, , and . CADE, volume 7898 of Lecture Notes in Computer Science, page 407-413. Springer, (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

Fred Kühlwein

Hans Kühlwein

Marta Kühlwein

Hans Kühlwein

Rüdiger Kühlwein

 

Other publications of authors with the same name

Premise Selection in the Naproche System., , , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 434-440. Springer, (2010)Learning2Reason., , , , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 298-300. Springer, (2011)E-MaLeS 1.1., , and . CADE, volume 7898 of Lecture Notes in Computer Science, page 407-413. Springer, (2013)The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts., , , , and . CNL (Pre-Proceedings), volume 448 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Learning from Multiple Proofs: First Experiments., and . PAAR@IJCAR, volume 21 of EPiC Series in Computing, page 82-94. EasyChair, (2012)MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers., and . J. Autom. Reason., 55 (2): 91-116 (2015)Multi-output Ranking for Automated Reasoning., , , , and . KDIR, page 42-51. SciTePress, (2011)Automated and Human Proofs in General Mathematics: An Initial Comparison., , and . LPAR, volume 7180 of Lecture Notes in Computer Science, page 37-45. Springer, (2012)The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts., , , , , and . CNL, volume 5972 of Lecture Notes in Computer Science, page 170-186. Springer, (2009)MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers., and . CoRR, (2013)