scientific article; zbMATH DE number 1140677

zbMath0899.03022MaRDI QIDQ4385442

Carolyn L. Talcott, Paolo Pecchiari, Fausto Giunchiglia

Publication date: 10 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated theorem proverdeductive systemssequent systemsBoyer-Moore systemcomposite reasoning theoriesgeneral architecture for a class of reasoning modules and systemsreasoning structure

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Other applications of logic (03B80)

Related Items (6)

Formal and efficient primality proofs by use of computer algebra oracles ⋮ Towards the Mathematics Software Bus ⋮ Computer algebra and artificial intelligence ⋮ Constraint contextual rewriting. ⋮ Deduction as an Engineering Science ⋮ Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Uses Software

• OMRS

This page was built for publication: