Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Publication year
2014Source
Journal of Automated Reasoning, 52, 2, (2014), pp. 191-213ISSN
Publication type
Article / Letter to editor
Display more detailsDisplay less details
Organization
Data Science
Journal title
Journal of Automated Reasoning
Volume
vol. 52
Issue
iss. 2
Page start
p. 191
Page end
p. 213
Subject
Data ScienceThis item appears in the following Collection(s)
- Academic publications [245104]
- Electronic publications [132384]
- Faculty of Science [37383]
- Open Access publications [105987]
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.