Enlarge

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings

Publication Data

Title Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings
Contributor M. C. J. D. van Eekelen
Publisher Springer
Publication date 2011
Publication location Heidelberg
Language English

Topics

Automatic theorem proving :: Congresses
Logic, Symbolic and mathematical :: Congresses

Catalogue Data

OBNB ID GBB195941
ISBN 10 3642228623
ISBN 13 9783642228629
Type BibliographicResource, Book
Dewey Classification 511.36028563

ISBD

P1053 xi, 382 p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings. ISBN 9783642228629. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.