IMPS: System Description

network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Sponsored Research Program. Published in: D. Kapur, ed., Automated Deduction--CADE-11, Lecture Notes in Computer Science, vol. 607, SpringerVerlag, 1992, pp. 701

• Type: Conference
• Year: 1992
• Where: CADE
• Authors: William M. Farmer, Joshua D. Guttman, F. Javier Thayer
• Keywords: Abstract Theories, CADE 1992, Concrete Theories, Logical Reasoning, MITRE-Sponsored Research Program