Алгорифм машинного поиска естественного логического вывода в исчислении высказываний.
Академия наук СССР. Математический институт им. В.А.Стеклова. / Шанин Н.А., Давыдов Г.В., Маслов С.Ю., Минц Г.Е., Оревков В.П.. Слисенко А.О.
1965, изд-во: Наука, город: Москва-Ленинград, стр. : 38 стр., обложка: Мягкая издательская обложка., формат: Увеличенный., состояние: Отличное.
Цена: 800 руб.
отправка из Санкт-Петербурга
#15587326, код: Спб
