Mathiesen, Willy
-
DAIMI Report Series Nr. 4 (1972): PB-4 Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejl. - Articles
Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejledning
Resumé PDF (English)