Enlarge

Mathematical knowledge management : third International Conference MKM 2004, Bialowieza, Poland, September 19-21, 2004, proceedings

Publication Data

Title Mathematical knowledge management : third International Conference MKM 2004, Bialowieza, Poland, September 19-21, 2004, proceedings
Contributors Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
Publisher Springer
Publication date 2004
Publication location Berlin
Language English

Topics

Mathematics :: Data processing :: Congresses
Information storage and retrieval systems :: Mathematics :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GBA476300
ISBN 10 3540230297
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 510.285

ISBD

P1053 x, 392 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Mathematical knowledge management : third International Conference MKM 2004, Bialowieza, Poland, September 19-21, 2004, proceedings. ISBN 3540230297. Published by Springer in 2004. Publication and catalogue information, links to buy online and reader comments.