Mining the Archive of Formal Proofs
From MaRDI portal
Publication:3453102
DOI10.1007/978-3-319-20615-8_1zbMath1417.68176WikidataQ114700358 ScholiaQ114700358MaRDI QIDQ3453102
Jasmin Christian Blanchette, Daniel Matichuk, Tobias Nipkow, Maximilian P. L. Haslbeck
Publication date: 20 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01212594/file/paper.pdf
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
Related Items
Uses Software