scientific article; zbMATH DE number 1231668

zbMATH Open0917.68175MaRDI QIDQ4222995FDOQ4222995

Piergiorgio Bertoli, Alessandro Coglio, Fausto Giunchiglia

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15017

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1497753
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• scientific article; zbMATH DE number 1231674
• scientific article; zbMATH DE number 1497752

zbMATH Keywords

reasoning systems

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cited In (3)

• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• Rewriting logic: Roadmap and bibliography

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 Q4222995)