|
СТ |
Системы агентов, управляемых логическими программами: сложность верификации |
2009 |
Валиев М. К., Дехтярь М. И., Диковский А. Я. |
|
|
|
Программирование |
11.11.2009 |
|
СТ |
Восстановление ограничений целостности за счет наименьших достаточных изменений |
1998 |
Дехтярь М. И., Диковский А. Я., Спиратос Н. |
|
|
|
Программирование |
01.05.1998 |
|
Д |
Исследование сложности вычисления рекурсивных программ на основе специфических критериев |
1992 |
Диковский А. Я. |
|
|
|
|
23.04.1998 |
|
СТ |
Анализ поведения дискретных динамических систем средствами логического программирования |
1996 |
Дехтярь М. И., Диковский А. Я. |
|
|
|
Программирование |
31.07.1996 |
|
СТ |
Инструментальный комплекс "ЛОГОС" |
1987 |
Дегтяр М. И., Диковский А. Я. |
|
|
|
Технология разработки экспертных систем |
08.12.1992 |
|
СТ |
Обзор идей и методов в технологии программирования. Часть 1: Технологии для ранних этапов разработки больших программ |
1991 |
Диковский А. Я. |
|
|
|
Системная информатика. Проблемы современного программирования |
28.10.1992 |
|
А |
Исследование сложности вычисления рекурсивных программ на основе специфических критериев |
1992 |
Диковский А. Я. |
|
|
|
|
09.10.1992 |
|
СТ |
Обзор идей и методов в технологии программирования |
1991 |
Диковский А. Я. |
Сер."Системная информатика" |
|
|
Проблемы системного программирования |
22.05.1992 |
|
М |
Математические методы анализа программ (Учебное пособие) |
1983 |
Диковский А. Я., Канович М. И. |
|
|
Калининский государственный университет |
|
12.04.1984 |
|
А |
Густота синтаксических деревьев и деревьев вывода в грамматиках |
1972 |
Диковский А. Я. |
|
|
|
|
28.01.1973 |
