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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Theorem Proving in Higher Order Logics

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Language EnglishEnglish
Book Paperback
Book Theorem Proving in Higher Order Logics David Basin
Libristo code: 01562897
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Full description
? points 125 b
18 818 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Creature dal mare profondo William Hope Hodgson / Book Paperback
common.buy 6 399 Ft
Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Book Hardback
common.buy 18 922 Ft
BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Game/Toy Game
common.buy 12 029 Ft
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Book Paperback
common.buy 22 729 Ft
De la poubelle au musée. Anthropologie des restes Octave Debary / Book Paperback
common.buy 5 749 Ft
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Book Paperback
common.buy 4 064 Ft
Delito de fuga CHRISTOPHE LEON / Book Paperback
common.buy 5 435 Ft
Abu -Lala Mahari ( - ) Avetik Isahakyan / Book Paperback
common.buy 7 781 Ft
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Book Paperback
common.buy 12 703 Ft
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Video DVD
common.buy 3 821 Ft
Coming soon
Slovníček základních hudebních pojmů Ludmila Vrkočová / Book Paperback
common.buy 1 970 Ft
Všechny cesty vedou do Říma Ivan Burkert / Book Hardback
common.buy 1 173 Ft

This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.§The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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 David Basin, Burkhart Wolff
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 366
EAN 9783540406648
ISBN 3540406646
Libristo code 01562897
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1190
Dimensions 155 x 233 x 21

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
Philosophy & Religion > Philosophy
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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Book Paperback
common.buy 4 424 Ft
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Book Paperback
common.buy 45 117 Ft
The Magic School Bus Inside a Beehive Joanna Cole / Book Paperback
common.buy 7 856 Ft
Bad People Robertson / Book Hardback
common.buy 7 842 Ft
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Book Hardback
common.buy 13 140 Ft
The Rapids Of Niagara (1876) Susan Warner / Book Paperback
common.buy 14 270 Ft
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Book Paperback
common.buy 4 064 Ft
Top
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Book Paperback
common.buy 2 981 Ft
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Printed items Map
common.buy 3 869 Ft
Nature of Truth and Falshood; With Some Motives to the Practice of Mutual Sincerity. a Sermon Preached Before the Queen, in St. George's Chapel at Win WILLIAM REEVES / Book Hardback
common.buy 10 567 Ft
Independent Watchmakers Steve Huyton / Book Hardback
common.buy 14 858 Ft
Top
Executive Functioning Workbook for Kids: 40 Fun Activities to Build Memory, Flexible Thinking, and Self-Control Skills at Home, in School, and Beyond GRAND SHARON / Book Paperback
common.buy 5 734 Ft
Art Book DK / Book Hardback
common.buy 9 271 Ft
Tumors in Domestic Animals 5e Meuten / Book Hardback
common.buy 88 785 Ft
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Book Paperback
common.buy 2 198 Ft
Alcidamas Alcidamas / Book Paperback
common.buy 14 887 Ft
Qualitative Research: Concepts, Contexts, and Methods Muhammad Rizwan Ashraf / Book Paperback
common.buy 31 402 Ft
New
Tom Clancy Line of Demarcation M.P. Woodward / Book Paperback
common.buy 3 551 Ft
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Book Paperback
common.buy 18 818 Ft
Top
Berserk Volume 32 Kentaro Miura / Book Paperback
common.buy 4 847 Ft
Insights in Decision Making Hogarth / Book Hardback
common.buy 70 869 Ft
Camel Irwin Robert Irwin / E-book Adobe ePub DRM
common.buy 7 543 Ft
Introduction to Social Dreaming W.Gordon Lawrence / Book Paperback
common.buy 17 189 Ft
The Country of the Pointed Firs Sarah Orne Jewett / Book Paperback
common.buy 2 212 Ft

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?