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

Using Sophisticated Models in Resolution Theorem Proving

Language EnglishEnglish
Book Paperback
Book Using Sophisticated Models in Resolution Theorem Proving David M. Sandford
Libristo code: 01557591
Publishers Springer, Berlin
? points 136 b
20 475 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

ABC Musik (Großdruckausgabe) Wieland Ziegenrücker / Book Paperback
common.buy 8 160 Ft
Aufstand in Stadt und Land Thomas Lähns / Book Paperback
common.buy 5 021 Ft
Disney Lorcana: Premium Card Portfolio Printed items Cards
common.buy 11 883 Ft
Mummo riitelee Jumalan kanssa Riitta Toivonoja / Book Paperback
common.buy 3 619 Ft
Verdi. L'opera italiana Paolo Gallarati / Book Paperback
common.buy 15 981 Ft
70 Cánones: De aquí y de Allá Violeta Hemsy De Gainza / Book Paperback
common.buy 4 070 Ft
Die größte Finanz-Blase aller Zeiten Dimitri Speck / Book Hardback
common.buy 7 465 Ft
111 Orte in Bonn, die man gesehen haben muss Eckhard Heck / Book Paperback
common.buy 6 139 Ft
BEETHOVEN SONATE OP 13 PATHETIQUE ADAGIO CANTABILE ACCORDION BOOK BEETHOVEN Book binding.
common.buy 4 175 Ft
Contes des Bektâchî Basaran / Book Paperback
common.buy 3 828 Ft
COMPREHENSION ECRITE 4 Reine Quinton / Book Paperback
common.buy 8 188 Ft
Escriure i viure : 20 anys de columnes (19893-2013) Aragó Masó / Book Paperback
common.buy 9 396 Ft
Diccionario junior Fontanillo-Riesco. Auxiliar primaria Enrique Fontanillo Merino / Book Paperback
common.buy 8 264 Ft
Diercke Drei Universalatlas - Aktuelle Ausgabe / Book Paperback
common.buy 7 722 Ft
Mister Fix Roger Hargreaves / Book Paperback
common.buy 2 444 Ft
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 Using Sophisticated Models in Resolution Theorem Proving
Author David M. Sandford
Language English
Binding Book - Paperback
Number of pages 242
EAN 9783540102311
ISBN 3540102310
Libristo code 01557591
Publishers Springer, Berlin
Weight 425
Dimensions 155 x 233 x 13

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Class-Book of Etymology, Designed to Promote Precision in the Use, and Facilitate the Acquisition of A Knowledge of the English Language. by James Lyn James Lynd / Book Paperback
common.buy 12 453 Ft
Nuclear and Condensed Matter Physics Antonino Messina / Book Hardback
common.buy 76 208 Ft
THINK BEFORE YOU SPEAK OR THE William 1756-1836 Godwin / Book Paperback
common.buy 5 744 Ft
Happiness Fantasy Carl Cederstrom / Book Hardback
common.buy 18 502 Ft
Practical Approach to Animal Welfare Law Noel Sweeney / Book Paperback
common.buy 15 682 Ft
A Gentle Walk Through Nature Denise L Gadreau / Book Paperback
common.buy 5 868 Ft
Unsold Television Pilots Lee Goldberg / Book Paperback
common.buy 13 314 Ft
CASES Morphology and Function: Russian grammar for beginners Viktoriia Chernetska / Book Paperback
common.buy 20 237 Ft
Aviator's Guide to Florida Udo Leinhauser / Book Paperback
common.buy 14 717 Ft
Little Marvin Monster - Takes a Train: Rhyming Children's Books for Beginners Ella Beane / Book Paperback
common.buy 4 056 Ft
Lonely Hearts Lilliana Rose / Book Paperback
common.buy 4 175 Ft
Maid of Honor Peony Lane Publishing / Book Paperback
common.buy 2 653 Ft
Normality and Pathology in Childhood Anna Freud / Book Hardback
common.buy 77 611 Ft
Emotional Intelligence for Leadership: 4 Week Booster Plan to Increase Your Self-Awareness, Assertiveness and Your Ability to Manage People Jonatan Slane / Book Paperback
common.buy 7 632 Ft
Letters on the Most Important Subjects, During a Correspondence of Twenty Years (1846) William Romaine / Book Hardback
common.buy 16 904 Ft
The Architecture of Xrange: Inspired by Constraints Aaron Betsky / Book Hardback
common.buy 20 432 Ft
What knowledge do Specialized Educators use Chloe Schmidt Dhonneur / Book Paperback
common.buy 23 432 Ft
The Pendulum J.L. Whitton / Book Paperback
common.buy 6 029 Ft
CompTIA A+ CertMike: Prepare. Practice. Pass the Test! Get Certified! Mike Chapple / E-book Adobe ePub DRM
common.buy 18 620 Ft
The Art of Collecting R. J. Cassell / Book Hardback
common.buy 13 195 Ft
North York Moors Brian Conduit / Book Paperback
common.buy 5 397 Ft
Judaistic Christianity Fenton John Anthony Hort / Book Paperback
common.buy 12 758 Ft
Paternalism, Conflict, and Coproduction Lawrence Susskind / Book Paperback
common.buy 61 187 Ft
Rolling Wheels: Firefighters / Book Board book
common.buy 2 563 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