Introduction into the problem of the computer inter-pretation of the applied formalized theory
Abstract
There has been presented a concept of computer interpretation of applied axiomatic theories; possibility and limitations of its application while developing science-based software for information management systems; the algebraic model to prove adequacy to the theory of its computer interpretation is developed.
Published
2003-02-20
How to Cite
Ivakin, Y. (2003). Introduction into the problem of the computer inter-pretation of the applied formalized theory. Information and Control Systems, (1), 26-31. Retrieved from http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14321
Issue
Section
Hardware and software resources