Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
| Други автори: | Шанин, Николай Александрович |
|---|---|
| Формат: | Книга |
| Език: | Russian |
| Публикувано: |
Москва
Наука
1965
|
| Налични СУ-УБ Централна библиотека | Сигнатура: |
60319 |
|---|---|---|
| Налични СУ-УБ Библиотека Математика и информатика | Сигнатура: |
M11731 |