Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Language EnglishEnglish
Book Paperback
Book Theorem Proving in Higher Order Logics Richard J. Boulton
Libristo code: 01563734
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2001
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th... Full description
? points 125 b
51.65 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Filozof i papiez Wybor tekstow Jaroslaw Merecki / Book Hardback
common.buy 17.28 €
Nero & bollente. Autobiografia del caffè Ivano Porpora / Book Paperback
common.buy 20.71 €
Des orties et des hommes Pigani / Book Paperback
common.buy 26.17 €
BOHEMIAN RHAPSODY CONCERT BAND/HARMONIE FREDDIE MERCURY Book binding.
common.buy 35.37 €
Departement de la Seine-Inferieure. Asile Public d'Alienes de Saint-Yon Saint-Etienne-Du-Rouvray CORTYL-E / Book Paperback
common.buy 18.39 €
Ciplak Maymun Morris Desmond / Book Paperback
common.buy 16.17 €
Gray Naip'ddle Alvaro Espino / Book Paperback
common.buy 19.50 €
Else Lasker-Schüler, Elise Bambus & die "Irrenanstalt Dalldorf" Thomas Höfert / Book Paperback
common.buy 20.61 €
Homo sapiens: die Krone der Schoepfung Martin Rhonheimer / Book Hardback
common.buy 77.02 €
Planet der Zehnwortdiktatur (Teil 1) Michael Häusler / Book Paperback
common.buy 10.81 €
Elektronik aus dem Laserdrucker Dustin Büttner / Book Paperback
common.buy 40.12 €
Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter / Book Hardback
common.buy 44.47 €

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Theorem Proving in Higher Order Logics
Author Richard J. Boulton, Paul B. Jackson
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 402
EAN 9783540425250
ISBN 354042525X
Libristo code 01563734
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1270
Dimensions 155 x 233 x 23

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
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

You might also be interested in

Theory of Chess; A Treatise, in Which the Principles and Maxims of This Game, or Rather Science, Are Clearly and Concisely Explained; ... Peter Pratt / Book Paperback
common.buy 15.56 €
Paley's Moral Philosophy: With Annotations (1859) William Paley / Book Paperback
common.buy 28.80 €
Ultimate Guide to Analyze People Michael Edwards / Book Paperback
common.buy 10.30 €
Rosamunde Pilcher's Cornwall Gill Knappett / Book Paperback
common.buy 6.46 €
The Sagebrusher: A Story of The West Emerson Hough / Book Paperback
common.buy 10.30 €
Understanding Children's Emotions Isabelle Filliozat / Book Paperback
common.buy 19.80 €
Reading Country Music Cecelia Tichi / Book Paperback
common.buy 42.95 €
How the Other Half Lives Jacob A Riis / Book Paperback
common.buy 17.88 €
Odyssey Homer / E-book Adobe ePub DRM
common.buy 18.79 €
My Graduation Maria Morales / Book Paperback
common.buy 8.38 €
IMMOBILIZABLE BISUBSTRATE-ANALOGUE INHIBITORS OF PROTEIN KINASES Kaido Viht / Book Paperback
common.buy 49.93 €
Adventures of Uncle Rocky, Fireman James Burd Brewster / Audiobook MP3
common.buy 10.10 €
ISG 48: A Commentary on Acts Yon Gyong Kwon / Book Paperback
common.buy 21.62 €
Handbook of Positive Psychology in Intellectual and Developmental Disabilities Karrie A. Shogren / E-book Adobe ePub DRM
common.buy 539.13 €
The Book of Job: A New Translation Lee Roy Martin / Book Paperback
common.buy 15.66 €
Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin / Book Paperback
common.buy 154.26 €
Applied Quantum Chemistry J. Angyan / Book Hardback
common.buy 308.23 €
Keep Calm And Code On Alex Lau / Book Paperback
common.buy 15.76 €
University Consolidation. A Plea for Higher Education in Ontario / Book Hardback
common.buy 29.41 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?