Automated Deduction in Geometry

Format:

e-book

Title:

Automated Deduction in Geometry

Author:

Botana, Francisco; Recio, Tomas; Recio, Tómas; Tomas, Recio

Language:

English

Publisher:

Springer Berlin Heidelberg 2007

ISBN:

3-540-77355-X
3-540-77356-8

Subject:

Information Technology Artificial Intelligence

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000490353?locale=en