Accession Number:

AD0676017

Title:

A FORMAL DEDUCTIVE PROBLEM-SOLVING SYSTEM

Descriptive Note:

Technical rept.

Corporate Author:

WASHINGTON UNIV SEATTLE COMPUTER SCIENCE GROUP

Personal Author(s):

Report Date:

1968-02-09

Pagination or Media Count:

48.0

Abstract:

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.

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE