Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

DOI10.1007/978-3-642-02614-0_3MaRDI QIDQ3637261zbMATH OpenOpenAlexFDO

Authors Jacques Calmet

Publication date 9 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02614-0_3

zbMATH Keywords

abstractionagentcomputational modelingknowledgemechanized reasoning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1497753
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• Computer algebra and artificial intelligence
• scientific article; zbMATH DE number 1231668
• scientific article; zbMATH DE number 1389647

Cites work

• Digital mechanics. An information process based on reversible universal cellular automata
• scientific article; zbMATH DE number 2177626 (Why is no real title available?)
• scientific article; zbMATH DE number 1818513 (Why is no real title available?)
• scientific article; zbMATH DE number 1140677 (Why is no real title available?)
• scientific article; zbMATH DE number 1140680 (Why is no real title available?)
• scientific article; zbMATH DE number 1389647 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)

Cited in

(1)

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

Describes a project that uses

Uses Software

• OMRS

This page was built for publication: Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

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