phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Theorem Proving in Higher Order Logics

Language EnglishEnglish
Book Paperback
Book Theorem Proving in Higher Order Logics Klaus Schneider
Libristo code: 01569143
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2007
This book constitutes the refereed proceedings of the 20th International Conference on Theorem Provi... Full description
? points 154 b
1 540 Kč včetně DPH
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Ad Hoc at Home Thomas Keller / Hardback
common.buy 1 157 Kč
Die Benediktinerabtei Maria Laach Karl-Heinz Schumacher / Paperback
common.buy 487 Kč
Baby Monkey's Bananas Dagbani version Beverley Burkett / Paperback
common.buy 157 Kč
History of Addenbrooke's Hospital, Cambridge Arthur RookMargaret CarltonW. Graham CannonLord Butterfield of Stechford / Paperback
common.buy 1 736 Kč
Finanzierung touristischer Massnahmen durch eine Kursteuer Miriam Dick / Paperback
common.buy 1 019 Kč
Relationship between Language and Nation in the Development of Austrian German Robert Stolt / Paperback
common.buy 986 Kč
Hulk By Jeph Loeb: The Complete Collection Volume 1 Jeph Loeb / Paperback
common.buy 898 Kč
Black Hole-Neutron Star Binary Merger in Full General Relativity Koutarou Kyutoku / Hardback
common.buy 3 037 Kč
Little Green Turtle A J Wood / Hardback
common.buy 151 Kč

This book constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007.§The 21 revised full papers presented together with 5 proof pearls (concise and elegant presentations of interesting examples) and the abstracts of 3 invited papers were carefully reviewed and selected from 52 submissions. Among the topics of this volume are formal semantics of specification, modelling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

About the book

Full name Theorem Proving in Higher Order Logics
Author Klaus Schneider, Jens Brandt
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 404
EAN 9783540745907
ISBN 3540745904
Libristo code 01569143
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 635
Dimensions 155 x 235 x 24

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account