Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings /

Bibliographic Details
Corporate Author:	MKM (Conference) Wokingham, England)
Other Authors:	Borwein, Jonathan M., Farmer, William Michael
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science ; 4108. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Mathematics > Data processing > Congresses. Information storage and retrieval systems > Mathematics > Congresses. Automatic theorem proving > Congresses.

Remote Storage