Cover image not available

Proceedings of the Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK

Publication Data

Title Proceedings of the Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK
Contributor
Publisher School of Computer Science, University of Birmingham
Publication date 2008
Publication location Birmingham
Language English

Topics

Automatic theorem proving :: Congresses
Computer science :: Mathematics :: Congresses

Catalogue Data

OBNB ID GBA8C5123
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.333

ISBD

P1053 66 p.
P1042 Includes bibliographical references.

Buy a copy

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

Proceedings of the Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK. Published by School of Computer Science, University of Birmingham in 2008. Publication and catalogue information, links to buy online and reader comments.