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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Language EnglishEnglish
Book Paperback
Book Higher Order Logic Theorem Proving and Its Applications E. Th. Schubert
Libristo code: 01566006
Publishers Springer, Berlin, November 1994
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo... Full description
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

LEGO Ninjago - Der Herr der Wünsche / Book Hardback
common.buy 9.99 €
Filosofía de Richard Rorty Pilar Salvá Soria / Book Paperback
common.buy 35.29 €
Wissenschaftstheorie der Soziologie Gerhard Wagner / Book Paperback
common.buy 27.95 €
Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch / Book Paperback
common.buy 42.00 €
Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920) Carl Irresberger / Book Paperback
common.buy 24.39 €
Évaluation et didactique Bart Daniel Bart / E-book Adobe ePub DRM
common.buy 37.59 €
Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte Arnold Ehret / Book Hardback
common.buy 17.90 €
Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr Gisela Ehlers / Book Sheet
common.buy 16.79 €

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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 Higher Order Logic Theorem Proving and Its Applications
Author E. Th. Schubert, Phillip J. Windley, James Alves-Foss
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 408
EAN 9783540602750
ISBN 3540602755
Libristo code 01566006
Publishers Springer, Berlin
Weight 547
Dimensions 156 x 234 x 21

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

Fuels Programs Registration User Guide Version 2.0 U S Environmental Protection Agency / Book Paperback
common.buy 15.39 €
The Kiss Bet, Vol. 3 OCHOA INGRID / Book Paperback
common.buy 12.09 €
Top
Dark and Drowning Tide Saft Allison / Book Paperback
common.buy 9.19 €
Top
Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques Gabriel Sassone / Book Paperback
common.buy 38.69 €
Decision Making in Emergency Medicine Manda Raz / Book Paperback
common.buy 99.59 €
Introduction to World Religions Darryl E. Howard / Book Hardback
common.buy 294.09 €
Staff Cars in Germany WW2 Vol. 2 Ranger / Book Paperback
common.buy 16.89 €
Data Science with Julia Paul D McNicholas / Book Paperback
common.buy 78.39 €
Triple Ken Follett / Book Paperback
common.buy 11.49 €
Passover Family Monique Polak / Book Board book
common.buy 10.09 €
Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum / Book Paperback
common.buy 13.49 €
Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala Jiby John Mathew / Book Paperback
common.buy 49.39 €
Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing / Book Hardback
common.buy 38.69 €
Richard Scarry's Please and Thank You Book Richard Scarry / Book Paperback
common.buy 4.39 €
Oogenesis - The Universal Process Verlhac / Book Hardback
common.buy 136.09 €
Anatomy of Fraud and Corruption Veronica Morino / Book Hardback
common.buy 213.29 €
Corals of Australia and the Indo-Pacific J.E.N. Veron / Book Hardback
common.buy 87.29 €
Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova / Book Paperback
common.buy 41.59 €
Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author. Armand-Louis Bon Maudet / Book Paperback
common.buy 16.99 €
Edina. a Novel. Henry Wood / Book Paperback
common.buy 22.59 €
Moment With Kel Kelvin L. Hicks / Book Paperback
common.buy 9.59 €

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?