Электронный каталог - Electronic Catalogue
eng
|
rus
Библиотека
НИУ ВШЭ
Санкт-Петербург
HSE St.Petersburg Library
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Номер единой электронной карты (пропуска)
PIN-код
Электронный каталог: Справочник авторов
К списку авторов
Wrightson, Gr.
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Многотомник
Automation of reasoning
Springer, 1983 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Vol.1: Classical papers on computational logic 1957-1966
Springer, 1983 г.
ISBN 3-540-12043-2, 0-387-12043-2
/ : Промышленная, 17
На полку
Экз. чит. зала
Книга
Vol.2: Classical papers on computational logic 1967-1970
Springer, 1983 г.
ISBN 3-540-12044-0, 0-387-12044-0
/ : Промышленная, 17
На полку