Preview

Моделирование и анализ информационных систем

Расширенный поиск
Полноэкранный режим

Для цитирования:


Снятков А.С. Разрешимость теории Th(w, 0,1, <, +, f0,..., fn). Моделирование и анализ информационных систем. 2010;17(3):72-90.

For citation:


Snyatkov A.S. On Decidability of the Theory Th(u, 0,1,<, +, f0,..., fn). Modeling and Analysis of Information Systems. 2010;17(3):72-90. (In Russ.)

Просмотров: 25


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)