36 search results - page 8 / 8 » External Sources of Axioms in Automated Theorem Proving |
JCDL
2006
ACM
13 years 11 months ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...