|
ІВ222959 Revenko, Artem. Automatic construction of implicative theories for mathematical domains [Text] : diss. / Artem Revenko ; Fak. Informatik der Techn. Univ. Dresden. - Aachen : Shaker Verl., 2015. - IX, 110 p. : fig. - (Berichte aus der Informatik, ISSN 0945-0807). - ISBN 978-3-8440-3919-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Technische Universität (Dresden). Fakultät Informatik
Видання зберігається у :
Основний фонд
|
|