Interactive Theorem Proving > Editions

collapse details

by Marko van Eekelen First published September 28th 2011

Sort by

Format

Language

Editions

Showing 1-2 of 2

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science Book 6898)

Published August 2nd 2011 by Springer

Kindle Edition

Author(s):

Marko van Eekelen (Editor),

Herman Geuvers (Editor),

Julien Schmaltz (Editor),

Freek Wiedijk (Editor)

ASIN:

B0DF17HX4S

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)

Published August 2nd 2011 by Springer

2011, Paperback, 394 pages

Author(s):

Marko van Eekelen (Editor),

Herman Geuvers (Editor),

Julien Schmaltz (Editor),

Freek Wiedijk (Editor)

ISBN:

9783642228629 (ISBN10: 3642228623)

ASIN:

3642228623

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars