Mathematical Knowledge Management
Subtitle: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540278184
Subjects: Mathematics, data processing; Information storage and retrieval systems; Automatic theorem proving