You are here: TUCS > PUBLICATIONS > Publication Search > Recording HOL Proofs in a Stru...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Recording HOL Proofs in a Structured Browsable Format
Jim Grundy, Thomas Långbacka, Recording HOL Proofs in a Structured Browsable Format. In: Proceedings of AMAST'97, 1997.
BibTeX entry:
@INPROCEEDINGS{pGrLa97,
title = {Recording HOL Proofs in a Structured Browsable Format},
booktitle = {Proceedings of AMAST'97},
author = {Grundy, Jim and Långbacka, Thomas},
year = {1997},
}