Prolog-oriented support of calculations

MaRDI QIDQ2763583zbMATH OpenFDO

Authors Otakar Babka

Publication date 20 January 2002

zbMATH Keywords

calculationindividual girderPrologroutine

Mathematics Subject Classification ID

Logic programming (68N17) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 4028945
• scientific article; zbMATH DE number 193564
• A calculus for the construction of modular prolog programs
• scientific article; zbMATH DE number 4009857
• scientific article; zbMATH DE number 4113971

Cited in

(1)

• scientific article; zbMATH DE number 3999251 (Why is no real title available?)

This page was built for publication: Prolog-oriented support of calculations

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