AUTOMATED REASONING AND VARIOUS APPLICATIONS

This paper is in microfiche form. A computer program known as ITP that functions as an automated reasoning assistant has been developed. This program can be used to verify the properties of other computer programs, to design and validate logic circuits, to solve problems in control systems and robotics, and to answer questions in mathematics.

• Supplemental Notes:
  • Argonne Nat. Lab., Paper DE85 014998, 1985 [17 pp., 4 ref.]
• Authors:
  • Wos, L
• Publication Date: 1985

Language

• English

Subject/Index Terms

• Subject Areas: Marine Transportation;

Filing Info

• Accession Number: 00690002
• Record Type: Publication
• Source Agency: British Maritime Technology
• Files: TRIS
• Created Date: Aug 14 1995 12:00AM