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

R.C. Backhouse (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

399 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's180
StatusGepubliceerd - 1998

Publicatie series

NaamComputing science reports
Volume9808
ISSN van geprinte versie0926-4515

Citeer dit