Theorem proving in higher order logics 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009 /
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...
| Corporate Authors: | TPHOLs Munich, Germany) |
|---|---|
| Other Authors: | TPHOLs, Berghofer, Stefan., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
©2009.
Berlin : [2009] |
| Physical Description: |
1 online resource (xi, 515 pages) : illustrations. |
| Series: |
LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 5674. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |