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