Mathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings - MKM 2006 (2006 : Wokingham, England); Borwein, Jonathan M.; Farmer, William M.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Mathematics -- Data processing -- Congresses; Information storage and retrieval systems -- Mathematics -- Congresses; Automatic theorem proving -- Congresses