Open AccessAppendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejledning
Author(s) -
Willy Mathiesen
Publication year - 1972
Publication title -
daimi report series
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom