Formal Mathematical Documents
by
Martijn Oostdijk
,
Martijn Oostdijk
,
Oostdijk Martijn D
BibTeX
@MISC{Oostdijk_formalmathematical,
author = {Martijn Oostdijk and Martijn Oostdijk and Oostdijk Martijn D},
title = {Formal Mathematical Documents},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Subject headings: automated theorem proving / formal logic /
