A logical modeling system

MaRDI QIDQ880641zbMATH OpenFDO

Authors N. G. Volchenkov, A. A. Smirnov, A. G. Fetisova, Sergey Popov

Publication date 16 May 2007

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1803665
• scientific article; zbMATH DE number 4072431
• Combinatorial modelling of logistic processes
• scientific article; zbMATH DE number 5064932
• scientific article; zbMATH DE number 92609

Cited in

(8)

• A logical model of HCP
• Locally simple models construction: methodology and practice
• Combinatorial modelling of logistic processes
• scientific article; zbMATH DE number 3924175 (Why is no real title available?)
• Logical tree of mathematical modeling
• MODEL INTEGRATION FOR MANAGERIAL DECISION SUPPORT USING A MODEL DESCRIPTION LANGUAGE WITH A FORMAL SEMANTICS
• scientific article; zbMATH DE number 5064932 (Why is no real title available?)
• The Logiform system

This page was built for publication: A logical modeling system

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