Extracting proofs from documents

R.C. Backhouse, P.H.F.M. Verhoeven

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

436 Downloads (Pure)
Originele taal-2Engels
TitelInformal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)
RedacteurenR.C. Backhouse
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Pagina's50-58
StatusGepubliceerd - 1998

Publicatie series

NaamComputing Science Reports
Volume98/08
ISSN van geprinte versie9432-0101

Citeer dit