Пусть докажет компьютеркнига

Работа с книгой

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. PUST_DOKAZhET222.pdf PUST_DOKAZhET222.pdf 2,1 МБ 1 июня 2014 [shangin]

[1] Пусть докажет компьютер / В. А. Бочаров, А. Е. Болотов, А. Е. Горчаков и др. — Наука Москва, 2004. — 207 с. Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть