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

Bibliographic Details
Corporate Authors:	MKM (Conference) Wokingham, England), SpringerLink (Online service)
Other Authors:	Borwein, Jonathan M., Farmer, William Michael
Format:	Conference Proceeding eBook
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:	Automatic theorem proving > Congresses. Information storage and retrieval systems > Mathematics > Congresses. Mathematics > Data processing > Congresses. Mathématiques > Informatique > Congrès. Systèmes d'information > Mathématiques > Congrès. Théorèmes > Démonstration automatique > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Published 2006

Conference Proceeding Book