Automated Deduction in Geometry - Botana, Francisco; Recio, Tomas; Recio, Tómas; Tomas, Recio (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence