Deductive tools of an algebraic programming system

DOI10.1007/BF02733299MaRDI QIDQ1592004zbMATHFDO

Authors R. Smith

Publication date 15 January 2001

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

algebraic programming system

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1497750
• Computations in APS
• Objects in algebraic programming system
• An algebraic approach to the formalization of some deduction techniques
• IMPS: An interactive mathematical proof system

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3407173 (Why is no real title available?)
• A general theory of action languages
• Some problems in the theories of automata and artificial intelligence

Cited in

(8)

• Objects in algebraic programming system
• First-order logics of quasiary predicates
• Parallelization of the Buchberger algorithm
• Algebra of algorithms and Kaluzhnin's graph-schemas
• Basic paradigms of programming
• Computations in APS
• Parallel inference search in logical calculus based on the algebraic programming system
• scientific article; zbMATH DE number 176539 (Why is no real title available?)

This page was built for publication: Deductive tools of an algebraic programming system

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