Поиск :
Личный кабинет :
Электронный каталог: 5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980
5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980
Книга
Автор:
5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980
Серия: Lecture notes in computer science
Издательство: Springer, 1980 г.
ISBN 3-540-10009-1, 0-387-10009-1
Автор:
5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980
Серия: Lecture notes in computer science
Издательство: Springer, 1980 г.
ISBN 3-540-10009-1, 0-387-10009-1
На полку
Книга
519.68 F50
5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / Ed. W. Bibel, R. Kowalski . – Berlin : Springer, 1980 . – 385 с. – (Lecture notes in computer science ; Vol. 87) . – На англ. яз. - ISBN 3-540-10009-1 . - ISBN 0-387-10009-1 .
519.68
Общий = Программирование
Коллекции = Математическая библиотека
519.68 F50
5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / Ed. W. Bibel, R. Kowalski . – Berlin : Springer, 1980 . – 385 с. – (Lecture notes in computer science ; Vol. 87) . – На англ. яз. - ISBN 3-540-10009-1 . - ISBN 0-387-10009-1 .
519.68
Общий = Программирование
Коллекции = Математическая библиотека
| Филиал | Всего | Доступно для выдачи |
|---|---|---|
| Промышленная, 17 | 1 | - |