DMCA
Isabelle's Object-Logics (1997)
Cached
Download Links
by
Lawrence C. Paulson
| Citations: | 23 - 2 self |
BibTeX
@MISC{Paulson97isabelle'sobject-logics,
author = {Lawrence C. Paulson},
title = {Isabelle's Object-Logics},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
