Automated Deduction in Geometry/Francisco Botana

Automated Deduction in Geometry/Francisco Botana

Francisco Botana
    Automated Deduction in Geometry [Электронный ресурс] / Francisco Botana, Pedro Quaresma. - Электроные текстовые данные. - 1007/978-3-319-21362-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-21362-0. - (Lecture Notes in Computer Science) . - ISBN 9783319213620

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- computer graphics -- Mathematical Logic and Formal Languages -- Symbolic and Algebraic Manipulation -- Discrete Mathematics in Computer Science -- Software Engineering -- книги издательства Springer