Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
| Other Authors: | Захарьящев, М. В., Янов, Ю. И. |
|---|---|
| Format: | Book |
| Published: |
М.:
Мир
1991
|
| Series: | Математическое обеспечение ЭВМ
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |
Similar Items
-
Математическая логика в программировании Сборник статей : Пер. с англ.
Published: (1991) -
Логика и компьютер: Моделирование рассуждений и проверка правильности программ/
by: Алешина, Н. А. Наталия Альбертовна, et al.
Published: (1990) -
Введение в логическое программирование
by: Хоггер, Кристофер Джон
Published: (1988) -
Логика в решении проблем: Пер. с англ./
by: Ковальски Роберт
Published: (1990) -
Вычислительные системы: Сборник научных трудов/
Published: (1987)
