Automated Deduction in Geometry - Hong, Hoon; Kanade, Takeo; Wang, Dongming; Kittler, Josef (Springer Berlin / Heidelberg, 2006)
Keywords: Information Technology -- Artificial Intelligence