Cramer, Marcos; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard:
Premise Selection in the Naproche System
In: Automated Reasoning : Proceedings / Giesl, Jürgen; Hähnle, Reiner (Eds.). - 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 - Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010 - (Lecture Notes in Computer Science ; 6173), pp. 434 - 440
2010book article/chapter in Proceedings
German Language and Literature StudiesFaculty of Humanities
Title in English:
Premise Selection in the Naproche System
Author:
Cramer, Marcos;Koepke, Peter;Kühlwein, Daniel;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Other
connected with university
DOI
10.1007/978-3-642-14203-1_37
Language of text:
English
Appears in
Automated Reasoning : Proceedings
Conference
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010
Editor:
Giesl, Jürgen;Hähnle, Reiner
Place of publication:
Berlin, Heidelberg
Publisher:
Springer-Verlag Berlin Heidelberg
Year of publication:
2010
in:
pp. 434 - 440
DOI
10.1007/978-3-642-14203-1
ISBN
978-3-642-14202-4
ISBN
978-3-642-14203-1
In Series
Lecture Notes in Computer Science
in:
Vol. 6173