Поиск :
Личный кабинет :
Электронный каталог: Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Доступно
1 из 1
1 из 1
Книга
Автор:
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Издательство: Наука. Ленингр. отд-ние, 1965 г.
ISBN отсутствует
Автор:
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Издательство: Наука. Ленингр. отд-ние, 1965 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 А-456
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний / Н.А.Шанин, Г.В.Давыдов, С.Ю.Маслов, [и др.]. – М.; . : Наука. Ленингр. отд-ние, 1965. – 39 с.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 А-456
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний / Н.А.Шанин, Г.В.Давыдов, С.Ю.Маслов, [и др.]. – М.; . : Наука. Ленингр. отд-ние, 1965. – 39 с.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |