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 (Hrsg.). - 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), S. 434 - 440
2010Buchaufsatz/Kapitel in Tagungsband
GermanistikFakultät für Geisteswissenschaften
Titel in Englisch:
Premise Selection in the Naproche System
Autor*in:
Cramer, Marcos;Koepke, Peter;Kühlwein, Daniel;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
DOI
10.1007/978-3-642-14203-1_37
Sprache des Textes:
Englisch
Erschienen in
Automated Reasoning : Proceedings
Konferenz
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010
Herausgeber*in:
Giesl, Jürgen;Hähnle, Reiner
Erscheinungsort:
Berlin, Heidelberg
Verlag:
Springer-Verlag Berlin Heidelberg
Erscheinungsjahr:
2010
in:
S. 434 - 440
DOI
10.1007/978-3-642-14203-1
ISBN
978-3-642-14202-4
ISBN
978-3-642-14203-1
In Serie
Lecture Notes in Computer Science
in:
Band 6173