Affordable Access

Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejledning

Authors
Publisher
Aarhus University
Publication Date
Disciplines
  • Mathematics

Abstract

This is a user manual for a truly interactive theorem-proving program. The program treats logic as a natural deduction system, is written in PASCAL, and runs on the CDC 6400 at RECAU in Aarhus.

There are no comments yet on this publication. Be the first to share your thoughts.