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

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

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)

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

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)