Поиск :
Личный кабинет :
Электронный каталог: Classical papers on computational logic 1967-1970
Classical papers on computational logic 1967-1970
Книга
Автор:
Automation of reasoning. Vol.2: Classical papers on computational logic 1967-1970
Издательство: Springer, 1983 г.
ISBN 3-540-12044-0, 0-387-12044-0
Автор:
Automation of reasoning. Vol.2: Classical papers on computational logic 1967-1970
Издательство: Springer, 1983 г.
ISBN 3-540-12044-0, 0-387-12044-0
На полку
Многотомник
Automation of reasoning / Ed. J. Siekman, Gr. Wrightson . – Berlin : Springer, 1983 . – На англ. яз.
Книга
519.6 A94
Vol.2 : Classical papers on computational logic 1967-1970 / Ed. J. Siekman, Gr. Wrightson . – Berlin : Springer, 1983 . – 636 p. – На англ. яз. - ISBN 3-540-12044-0 . - ISBN 0-387-12044-0 .
519.6
Information technology. Data processing. Computer communication. Computer networks
Коллекции = Математическая библиотека
Automation of reasoning / Ed. J. Siekman, Gr. Wrightson . – Berlin : Springer, 1983 . – На англ. яз.
Книга
519.6 A94
Vol.2 : Classical papers on computational logic 1967-1970 / Ed. J. Siekman, Gr. Wrightson . – Berlin : Springer, 1983 . – 636 p. – На англ. яз. - ISBN 3-540-12044-0 . - ISBN 0-387-12044-0 .
519.6
Information technology. Data processing. Computer communication. Computer networks
Коллекции = Математическая библиотека
| Филиал | Всего | Доступно для выдачи |
|---|---|---|
| Промышленная, 17 | 1 | - |
