Deductive tools of an algebraic programming system
From MaRDI portal
Publication:1592004
DOI10.1007/BF02733299zbMath0966.68198MaRDI QIDQ1592004
Publication date: 15 January 2001
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Related Items (6)
Algebra of algorithms and Kaluzhnin's graph-schemas ⋮ Basic paradigms of programming ⋮ Parallelization of the Buchberger algorithm ⋮ Parallel inference search in logical calculus based on the algebraic programming system ⋮ First-order logics of quasiary predicates ⋮ Objects in algebraic programming system
Cites Work
This page was built for publication: Deductive tools of an algebraic programming system
