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 |