|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Пусть докажет компьютеркнига
- Авторы: Бочаров В.А., Болотов А.Е., Горчаков А.Е., Макаров В.В., Шангин В.О.
- Год издания: 2004
- Место издания: Наука Москва
- Объём: 207 страниц
- ISBN: 5-02-032859-6
- Аннотация: Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик.
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | PUST_DOKAZhET222.pdf | PUST_DOKAZhET222.pdf | 2,1 МБ | 1 июня 2014 [shangin] |