Вычислительные системы: Сборник научных трудов/ 156, Структурные алгоритмические свойства вычислимости/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
| Other Authors: | Ершов, Ю. Л. (Editor), Гончаров, С. С. (Editor) |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Новосибирск
1996
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |
Similar Items
-
Проектирование многоэтажных каркасных зданий с диафрагмами жесткости немонотонного типа Обзорная информация
by: Карабанов, Борис Владимирович
Published: (1988) -
Достоверный и правдоподобный вывод в интеллектуальных системах
Published: (2004) -
Логический подход к искусственному интеллекту От классической логики к логическому программированию
Published: (1990) -
О полных модулях
by: Корнев, А. И. -
Алгебра логики в задачах
by: Гиндикин, Семен Григорьевич
Published: (1972)
