<journal article>
Elementary Geometry in Coq
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
Issue | |
First Page | |
Last Page | |
Publication Type | |
Access Rights | |
Rights |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
JSSAC_report | 142 KB | 1,552 |
Details
Record ID | |
---|---|
Peer-Reviewed | |
Subject Terms | |
ISSN | |
ISBN | |
NCID | |
Created Date | 2016.10.07 |
Modified Date | 2020.10.13 |