Cramer, Marcos; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard:
Premise Selection in the Naproche System
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings / Giesl, Jürgen; Hähnle, Reiner (Hrsg.). - Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010 - (Lecture Notes in Computer Science ; 6173), S. 434 - 440
Buchaufsatz/Kapitel in Sammelwerk2010Germanistik
Fakultät für Geisteswissenschaften
Titel:
Premise Selection in the Naproche System
Autor(in):
Cramer, Marcos; Koepke, Peter; Kühlwein, Daniel; Schröder, BernhardLSF
Erscheinungsjahr
2010
DOI: