Pages that link to "Item:Q1592004"
From MaRDI portal
The following pages link to Deductive tools of an algebraic programming system (Q1592004):
Displaying 7 items.
- Objects in algebraic programming system (Q1264601) (← links)
- Computations in APS (Q1311970) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Basic paradigms of programming (Q1905218) (← links)
- Parallelization of the Buchberger algorithm (Q1907790) (← links)
- First-order logics of quasiary predicates (Q2247805) (← links)
- Parallel inference search in logical calculus based on the algebraic programming system (Q2452767) (← links)