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-1393
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Sprache des Textes:
Englisch