СТ |
Системы агентов, управляемых логическими программами: сложность верификации |
2009 |
Валиев М. К., Дехтярь М. И., Диковский А. Я. |
|
|
|
Программирование |
11.11.2009 |
СТ |
Обновления баз данных при динамических ограничениях целостности |
2002 |
Дехтярь М. И. |
|
|
|
Системная информатика |
22.03.2003 |
П |
Математическая теория программирования. Обзор зарубежных работ |
1982 |
Непомнящий В. А., Дехтярь М. И. |
|
|
ВЦ СО АН СССР |
|
12.10.1993 |
СТ |
Восстановление ограничений целостности за счет наименьших достаточных изменений |
1998 |
Дехтярь М. И., Диковский А. Я., Спиратос Н. |
|
|
|
Программирование |
01.05.1998 |
СТ |
Анализ поведения дискретных динамических систем средствами логического программирования |
1996 |
Дехтярь М. И., Диковский А. Я. |
|
|
|
Программирование |
31.07.1996 |