Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Book Informaton
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Gerwin Klein; Ruben Gamboa

Series

Lecture Notes in Computer Science

Volume

8558

Year of Publication

2014

Publisher

Springer International Publishing

Pages

XXII, 555

Language

EN

ISBN

9783319089690, 9783319089706

ARI Id

1664710971415

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 9 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Automatic theorem proving Logic symbolic and mathematical