Поиск :
Личный кабинет :
Электронный каталог: Логические языки, содержательные рассуждения и методы поиска доказательств
Логические языки, содержательные рассуждения и методы поиска доказательств
Доступно
1 из 1
1 из 1
Книга
Автор:
Логика и компьютер. [Вып.]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 | Заказать |
