Вы здесь

Манцивода А. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Представление знаний в Интернете и семантическое программирование 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