|
СТ |
Представление знаний в Интернете и семантическое программирование |
2006 |
Манцивода А. В., Малых А. А. |
Системная информатика |
|
|
Системная информатика |
10.02.2007 |
|
СТ |
Сигма-программирование и теория равенства Кларка |
1998 |
Абдрахимов И. С., Манцивода А. В. |
|
|
|
ИНПРИМ-98 |
26.06.1998 |
|
М |
Σ-программирование и задачи дискретной оптимизации |
1994 |
Манцивода А. В. |
|
|
Иркутский гос. унив. |
|
24.04.1998 |
|
СТ |
Программирование в ограничениях на Флэнге |
1995 |
Манцивода А. В. |
Системная информатика |
|
|
Методы теоретического и системного программирования |
25.10.1995 |
|
А |
Логическое программирование в ограничениях: семантический подход |
1995 |
Манцивода А. В. |
|
|
|
|
23.06.1995 |
|
СТ |
Флэнг - язык для искусственного интеллекта |
1993 |
Манцивода А. В. |
|
|
|
Кибернетика и системный анализ |
23.03.1994 |
|
СТ |
М-исчисление - секвенциальный метод автоматического доказательства |
1993 |
Манцивода А. В. |
|
|
|
Кибернетика и системный анализ |
28.05.1993 |
|
СТ |
Естественный язык и логический вывод в экспертных системах |
1987 |
Воронков А. А., Манцивода А. В. |
|
|
|
Технология разработки экспертных систем |
08.12.1992 |
