Mathiesen, Willy

• DAIMI Report Series No. 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
  Abstract  PDF