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
ISBN: 978-3-642-14202-4
Buchaufsatz / Kapitel / Fach: Germanistik
Fakultät für Geisteswissenschaften