Menu
Proceedings of the 2nd workshop on programming languages for mechanized mathematics systems (PLMMS) : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK
Cover image not available

Proceedings of the 2nd workshop on programming languages for mechanized mathematics systems (PLMMS) : 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 2nd workshop on programming languages for mechanized mathematics systems (PLMMS) : 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.

obnb.uk is a Good Stuff website.