Cover image not available

Proceedings of the 15th workshop on automated reasoning : bridging the gap between theory and practice : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK

Publication Data

Title Proceedings of the 15th workshop on automated reasoning : bridging the gap between theory and practice : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK
Contributor
Publisher School of Computer Science
Publication date 2008
Publication location Birmingham
Language English

Topics

Automatic theorem proving :: Congresses
Computer logic :: Congresses

Catalogue Data

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

ISBD

P1053 40 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 15th workshop on automated reasoning : bridging the gap between theory and practice : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK. Published by School of Computer Science in 2008. Publication and catalogue information, links to buy online and reader comments.