( en | de | ru )

 

Disambiguierung von "Kühlwein, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MaSh: Machine Learning for Sledgehammer.

, , , und . ITP, Volume 7998 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fred Kühlwein

Marta Kühlwein

Hans Kühlwein

Hans Kühlwein

Rüdiger Kühlwein

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning2Reason., , , , und . Calculemus/MKM, Volume 6824 von Lecture Notes in Computer Science, Seite 298-300. Springer, (2011)Premise Selection in the Naproche System., , , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 434-440. Springer, (2010)Multi-output Ranking for Automated Reasoning., , , , und . KDIR, Seite 42-51. SciTePress, (2011)Automated and Human Proofs in General Mathematics: An Initial Comparison., , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 37-45. Springer, (2012)The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts., , , , , und . CNL, Volume 5972 von Lecture Notes in Computer Science, Seite 170-186. Springer, (2009)The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts., , , , und . CNL (Pre-Proceedings), Volume 448 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)E-MaLeS 1.1., , und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 407-413. Springer, (2013)Learning from Multiple Proofs: First Experiments., und . PAAR@IJCAR, Volume 21 von EPiC Series in Computing, Seite 82-94. EasyChair, (2012)Presupposition Projection and Accommodation in Mathematical Texts., , und . KONVENS, Seite 29-36. universaar, Universitätsverlag des Saarlandes / Saarland University Press / Presses universitaires de la Sarre, (2010)Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics., , , , und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 378-392. Springer, (2012)