Поиск :
Личный кабинет :
Электронный каталог: Pirotte, A. - Automatic Theorem Proving Based on Resolution
Pirotte, A. - Automatic Theorem Proving Based on Resolution
Доступно
1 из 1
1 из 1
Книга
Автор: Pirotte, A.
Annual Review in Automatic Programing. Vol.7, Pt.4: Automatic Theorem Proving Based on Resolution
1973 г.
ISBN отсутствует
Автор: Pirotte, A.
Annual Review in Automatic Programing. Vol.7, Pt.4: Automatic Theorem Proving Based on Resolution
1973 г.
ISBN отсутствует
Заказать 
На полку
Многотомник
С17.1
Annual Review in Automatic Programing / Ed.: R.Goodman. – London [etc.] : Pergamon Press. – (International Tracts in Computer Science and Technology and Their Applications).
Книга
С17.1 А-60
Pirotte, A.
Vol.7, Pt.4 : Automatic Theorem Proving Based on Resolution / A.Pirotte. – 1973. – 266 p.
С17.1
Индексный (книги) = С 171 - Математическая кибернетика
С17.1
Annual Review in Automatic Programing / Ed.: R.Goodman. – London [etc.] : Pergamon Press. – (International Tracts in Computer Science and Technology and Their Applications).
Книга
С17.1 А-60
Pirotte, A.
Vol.7, Pt.4 : Automatic Theorem Proving Based on Resolution / A.Pirotte. – 1973. – 266 p.
С17.1
Индексный (книги) = С 171 - Математическая кибернетика
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |
