Open AccessTHE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT
Author(s) -
В. А. Минаев,
И. Д. Королев,
А. В. Мазин,
А. С. Мезенцев,
М. И. Поддубный
Publication year - 2018
Publication title -
radiopromyšlennostʹ
Language(s) - English
Resource type - Journals
eISSN - 2541-870X
pISSN - 2413-9599
DOI - 10.21778/2413-9599-2018-2-105-114
Subject(s) - computer science , software engineering , management science , artificial intelligence , engineering