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

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

Programming languages (Electronic computers) :: Congresses
Computer science :: Mathematics :: Congresses

Catalogue Data

OBNB ID GBA8C5139
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 ii, 46 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 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.