Interactive Theorem Proving by ITP Conference, Matt Kaufmann, Lawrence C Paulson
| ISBN: | 9783642140518 |
| Publication date: | 30th June 2010 |
| Author: | ITP Conference, Matt Kaufmann, Lawrence C Paulson |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 493 pages |
| Series: | LNCS Sublibrary. SL 1, Theoretical Computer Science and General Issues |
| Genres: |
Mathematical theory of computation Immunology Compilers and interpreters Software Engineering Artificial intelligence |