Capturing Hiproofs in HOL Light : Mathematical knowledge management; MKM 2013
In: LECTURE NOTES IN COMPUTER SCIENCE (7961):184-199; (2013) 7961, S. 184-199
Konferenz
Zugriff:
Titel: |
Capturing Hiproofs in HOL Light : Mathematical knowledge management; MKM 2013
|
---|---|
Autor/in / Beteiligte Person: | Obua, S. ; Adams, M. ; Aspinall, D. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (7961):184-199; (2013) 7961, S. 184-199 |
Veröffentlichung: | 2013 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|