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