Title:
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings
Conference Author:
Publication Information:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Physical Description:
viii, 399 p. : ill., digital ; 24 cm.
ISBN:
9783540745914
General Note:
Available in online version
Subject Term:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-74591-4
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | EB001330 | EB 001330 | Electronic Book | 1:EBOOK | Searching... |
On Order
Summary
Summary
This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.