Cover Image

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

Show other versions (1)
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.
Description
Physical Description:viii, 294 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540371044 (pbk.)
9783540371045 (pbk.)
ISSN:0302-9743 ;