A FORMAL DEDUCTIVE PROBLEM-SOLVING SYSTEM
WASHINGTON UNIV SEATTLE COMPUTER SCIENCE GROUP
Pagination or Media Count:
A formal description of a generalized theorem proving computer program is given. The program has been written in Fortran IV, but this description is concerned with logical flow and definitions of the algorithm, rather than programming details. Examples of performance of the program are given, using several fields of mathematics for illustrative purposes.
- Theoretical Mathematics
- Computer Programming and Software