Алгорифм машинного поиска естественного логического вывода в исчислении высказываний Н. А. Шанин [и др.]

Сохранить в:
Библиографические подробности
Другие авторы: Шанин Н. А., Давыдов Г. В., Маслов С. Ю.
Тип документа: Книга
Язык:Russian
Год издания: Москва Ленинград Наука, [Ленинградское отделение] 1965
Предметная рубрика:
Ключевые слова: