Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
681.3.06:510.6
Сортировать по: заглавиюдате издания
Книга
Логика и компьютер: моделирование рассуждений и проверка правильности программ
Наука, 1990 г.
ISBN 5-02-007156-0
ОХОФ
Логика и компьютер: моделирование рассуждений и проверка правильности программ
Наука, 1990 г.
ISBN 5-02-007156-0
ОХОФ
Книга
[Вып.]2. : Логические языки, содержательные рассуждения и методы поиска доказательств
1995 г.
ISBN 5-02-006896-9
ОХОФ
[Вып.]2. : Логические языки, содержательные рассуждения и методы поиска доказательств
1995 г.
ISBN 5-02-006896-9
ОХОФ