Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / ed. T. Sturm, C. Zengler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6301). - ISBN 978-3-642-21046-4 : Б. ц. Рубрики: Computer science    Logic design    Computational complexity    Artificial intelligence    Computer graphics    Discrete groups    Computer science    Artificial intelligence (incl. robotics)    Computer graphics    Mathematical logic and formal languages    Logics and meanings of programs    Discrete mathematics in computer science    Convex and discrete geometry См. : Текст издания Доп.точки доступа: Sturm, T. \ed.\; SpringerLink (Online service) Свободных экз. нет