Shelfclass_id |
4.B.3 |
Sortkey |
TPHOLS |
Authors |
Joe Hurd, Tom Melham |
Title |
TPHOLs 2005: Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005: proceedings |
Publisher |
Springer-Verlag |
Year |
2005 |
Languages |
eng |
Isbn |
3540283722, 9783540283722 |
Series |
Lecture Notes in Computer Science |
Volume |
3603 |
Issn |
0302-9743 |
Description |
(pbk.) ix, 408 p. ill. 24 cm. |
Record date |
20061025 |
Location |
New York |
Keywords |
Automatic theorem proving |
Urlnote |
Restricted to SpringerLink subscribers |
Urls |
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3603 |