scientific article; zbMATH DE number 1761418

MaRDI QIDQ4537438zbMATH OpenFDO

Authors G. Aguilera, M. Ojeda, I. P. de Guzmán

Publication date 30 June 2002

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Increasing the efficiency of automated theorem proving
• Automatic theorem proving and OTTER
• Reductions for non-clausal theorem proving
• Temporal reasoning over linear discrete time
• scientific article; zbMATH DE number 3935002

Cited in

(4)

• scientific article; zbMATH DE number 5000964 (Why is no real title available?)
• A temporal negative normal form which preserves implicants and implicates
• Temporal reasoning over linear discrete time
• Logics in Artificial Intelligence

Describes a project that uses

Uses Software

• TAS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537438)