| Shelfclass_id | 4.B.3 |
| Sortkey | TPHOLS |
| Authors | Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel |
| Title | TPHOLs 2009: Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings |
| Publisher | Springer |
| Edition | 1st ed. |
| Year | 2009 |
| Languages | fre |
| Isbn | 364203358, 9783642033582 |
| Series | Lecture Notes in Computer Science |
| Volume | 5674 |
| Issn | 0302-9743 |
| Description | X xi, 515 p. 24 cm |
| Record date | 20100915 |
| Location | New York |