Enlarge

Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings

Publication Data

Title Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
Contributors Matt Kaufmann, Lawrence C. Paulson
Publisher Springer
Publication date 2010
Publication location Berlin
Language English

Topics

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

Catalogue Data

OBNB ID GBB091458
ISBN 10 3642140513
ISBN 13 9783642140518
Type BibliographicResource, Book
Dewey Classification 511.36028563

ISBD

P1053 xi, 493 p.
P1042 Includes bibliographical references and author 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 : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings. ISBN 9783642140518. Published by Springer in 2010. Publication and catalogue information, links to buy online and reader comments.