Алгорифм машинного поиска естественного логического вывода в исчислении высказываний.
Академия наук СССР. Математический институт им. В.А.Стеклова. / Шанин Н.А., Давыдов Г.В., Маслов С.Ю., Минц Г.Е., Оревков В.П.. Слисенко А.О.

1965, изд-во: Наука, город: Москва-Ленинград, стр. : 38 стр., обложка: Мягкая издательская обложка., формат: Увеличенный., состояние: Отличное.

Цена: 800 руб.

отправка из Санкт-Петербурга

Добавить в корзину

#15587326, код: Спб