Deductive tools of an algebraic programming system

DOI10.1007/BF02733299zbMATH Open0966.68198MaRDI QIDQ1592004FDOQ1592004

R. Smith

Publication date: 15 January 2001

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

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

zbMATH Keywords

algebraic programming system

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Title not available (Why is that?)
• Some problems in the theories of automata and artificial intelligence
• A general theory of action languages
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• Objects in algebraic programming system
• Parallel inference search in logical calculus based on the algebraic programming system
• Algebra of algorithms and Kaluzhnin's graph-schemas
• Basic paradigms of programming
• Parallelization of the Buchberger algorithm
• First-order logics of quasiary predicates
• Computations in APS

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)