Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 高階邏輯中的定理證明：第20屆國際會議，TPHOLs 2007，德國凱瑟斯勞滕，2007年9月10-13日，會議論文集（計算機科學講義）

***

出版商: Springer
出版日期: 2007-08-28
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 404
裝訂: Paperback
ISBN: 3540745904
ISBN-13: 9783540745907
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

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.