A logical modeling system

zbMATH Open1110.68408MaRDI QIDQ880641FDOQ880641

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)

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

Mathematics Subject Classification ID

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

Cited In (8)

• A logical model of HCP
• Title not available (Why is that?)
• Locally simple models construction: methodology and practice
• Combinatorial modelling of logistic processes
• MODEL INTEGRATION FOR MANAGERIAL DECISION SUPPORT USING A MODEL DESCRIPTION LANGUAGE WITH A FORMAL SEMANTICS
• Title not available (Why is that?)
• The Logiform system
• Logical tree of mathematical modeling

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)