Open AccessAppendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejledning
Author(s) -
Willy Mathiesen
Publication year - 1972
Publication title -
daimi pb
Language(s) - Danish
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v1i4.6304
Subject(s) - pascal (unit) , calculus (dental) , computer science , programming language , automated theorem proving , discrete mathematics , mathematics , algebra over a field , mathematics education , pure mathematics , medicine , dentistry
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.