Extracting proofs from documents

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

Extracting proofs from documents

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

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

539 Downloads (Pure)

Originele taal-2	Engels
Titel	Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)
Redacteuren	R.C. Backhouse
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Pagina's	50-58
Status	Gepubliceerd - 1998

Publicatie series

Naam	Computing Science Reports
Volume	98/08
ISSN van geprinte versie	9432-0101

Toegang tot document

200011400Definitieve gepubliceerde versie, 6,23 MB

Citeer dit

@inproceedings{d2299ab0cf9445c7a991fc48f0ff265c,

title = "Extracting proofs from documents",

author = "R.C. Backhouse and P.H.F.M. Verhoeven",

year = "1998",

language = "English",

series = "Computing Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "50--58",

editor = "R.C. Backhouse",

booktitle = "Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)",

}

Extracting proofs from documents. / Backhouse, R.C.; Verhoeven, P.H.F.M.
Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998). reds. / R.C. Backhouse. Eindhoven: Technische Universiteit Eindhoven, 1998. blz. 50-58 (Computing Science Reports; Vol. 98/08).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Extracting proofs from documents

AU - Backhouse, R.C.

AU - Verhoeven, P.H.F.M.

PY - 1998

Y1 - 1998

M3 - Conference contribution

T3 - Computing Science Reports

SP - 50

EP - 58

BT - Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)

A2 - Backhouse, R.C.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -