Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefu...
Saved in:
Other Authors: | |
---|---|
Corporate Author: | |
Format: | eBook |
Language: | English |
Published: |
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
2009
|
Series: | Lecture Notes in Computer Science
|
Genre/form: | elektronické knihy |
ISBN: | 978-3-642-03359-9 9783642033582 |
Subjects: | |
Online Access: | Plný text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!