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

R.C. Backhouse (Editor)

Research output: Book/ReportBook editingAcademic

427 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages180
Publication statusPublished - 1998

Publication series

NameComputing science reports
Volume9808
ISSN (Print)0926-4515

Cite this