Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
SourceJournal of Automated Reasoning, 52, 2, (2014), pp. 191-213
Article / Letter to editor
Display more detailsDisplay less details
Journal of Automated Reasoning
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.