Поиск :
Личный кабинет :
Электронный каталог: Логические языки, содержательные рассуждения и методы поиска доказательств
Логические языки, содержательные рассуждения и методы поиска доказательств
Книга
Автор:
Логика и компьютер. [Вып.]2: Логические языки, содержательные рассуждения и методы поиска доказательств
1995 г.
ISBN 5-02-006896-9
Автор:
Логика и компьютер. [Вып.]2: Логические языки, содержательные рассуждения и методы поиска доказательств
1995 г.
ISBN 5-02-006896-9
Заказать 
На полку
Многотомник
Логика и компьютер: [сборник статей] / кол. авт. Российская академия наук; отв. ред. В.А. Смирнов. – Москва: Наука, 1995. – (Кибернетика - неограниченные возможности и возможные ограничения) . - ISBN 5-02-006896-9.
Книга
681 Л69
[Вып.]2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В.А. Смирнов. – 1995. – 131 с.: ил. - . - ISBN 5-02-006896-9: 9200.00.
ГАСНТИ 50.05.09
681.3.06:510.6
общий = ПРОГРАММИРОВАНИЕ
общий = ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ (вычисл. техника)
общий = ПЭВМ
общий = РАССУЖДЕНИЕ
Логика и компьютер: [сборник статей] / кол. авт. Российская академия наук; отв. ред. В.А. Смирнов. – Москва: Наука, 1995. – (Кибернетика - неограниченные возможности и возможные ограничения) . - ISBN 5-02-006896-9.
Книга
681 Л69
[Вып.]2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В.А. Смирнов. – 1995. – 131 с.: ил. - . - ISBN 5-02-006896-9: 9200.00.
ГАСНТИ 50.05.09
681.3.06:510.6
общий = ПРОГРАММИРОВАНИЕ
общий = ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ (вычисл. техника)
общий = ПЭВМ
общий = РАССУЖДЕНИЕ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ОХОФ | 1 | 1 | 1 | Заказать |
