Menu
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
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

Topics

Catalogue Data

ISBD

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.

obnb.uk is a Good Stuff website.