Matt Kaufmann

Interactive Theorem Proving

First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

We couldn't estimate the reading time for this book.

Author

Matt Kaufmann

Contributions

Paulson, Lawrence C. - Contributor
SpringerLink (Online service) - Contributor

Publication

2010 - Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg, Germany

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

Internet Archiveinteractivetheor00kauf
Internet Archiveinteractivetheor00kauf_379
ISBN-139783642140518
ISBN-139783642140525
ISBN-103642140513

and 5 more

ISBN-103642140521
Library of Congress Control Number2010929576
Better World Books9783642140525
Better World Books9783642140518
Open LibraryOL25545229M

Classifications

LCCMLCM 2015/42587 (Q)
LCCQA75.5-76.95

Subjects

Topics

Congresses Logic design Computer logic Computer science Software engineering Monoclonal antibodies Artificial intelligence

Series Statement

Lecture Notes in Computer Science -- 6172

Similar Books

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!