User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

1268 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	180
Status	Gepubliceerd - 1998

Toegang tot document

TY - BOOK

T1 - User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998

A2 - Backhouse, R.C.

PY - 1998

Y1 - 1998

M3 - Book editing

T3 - Computing science reports

BT - User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -