Электронный каталог -Доказательство и его поиск- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Доказательство и его поиск

Доказательство и его поиск

Доступно
1 из 1

Книга
Автор:
Логика и компьютер. 3/3: Доказательство и его поиск : Курс логики и компьютерный практикум
Издательство: Наука, 1996 г.
ISBN отсутствует

Заказать

На полку

Многотомник

Логика и компьютер . – М. : Наука, 1996 . – (Кибернетика - неогран. возможности и возможные ограничения) .
Книга
I-3 Л-694

3/3 : Доказательство и его поиск : Курс логики и компьютерный практикум . – М. : Наука, 1996 . – 255 с. - (РАН). : руб. 17000.00 .

510.6:681.3.06

Общий = Математика : логика
Общий = Информатика : вычислительная техника : программное обеспечение

643221 01:Книгохранение