Shelfclass_id | 4.B.3 |
Sortkey | TPHOLS |
Authors | Otmane Ait Mohamed, César Muñoz, Sofiène Tahar |
Title | TPHOLs 2008: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings |
Publisher | Springer |
Edition | 1st ed. |
Year | 2008 |
Languages | eng |
Isbn | 9783540710653 |
Series | Lecture Notes in Computer Science |
Volume | 5170 |
Issn | 0302-9743 |
Description | 319 p. |
Record date | 20090827 |
Location | Berlin |