ISBN 9783540710653,Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Rs3797 Rs5424 30% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540710653
Check delivery information
 
ISBN 9783540710653
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540710653

ISBN-10 3540710655
Binding

Paperback

Number of Pages 338 Pages
Subject

Programming & scripting languages: general

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

More from Author

Scroll