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

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

Цена: 800 руб.

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

#15587326, код: Спб

Данный сайт носит информационно-справочный характер и ни при каких условиях не является публичной офертой.
Продолжая работу с сайтом, вы подтверждаете своё согласие на обработку персональных данных (подробнее Согласие на обработку персональных данных и Политика защиты и обработки персональных данных).
Copyright © «Сибирская горница» 2006-2026. Все права защищены.

Спросить продавца: