Mathematical Knowledge Management - Borwein, Jonathan M.; Farmer, William M.; Farmer, William Michael; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Artificial Intelligence