Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Using Sophisticated Models in Resolution Theorem Proving

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Using Sophisticated Models in Resolution Theorem Proving David M. Sandford
Libristo-code: 01557591
Uitgeverij Springer, Berlin
? points 125 b
51.54 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Disney Lorcana: Premium Card Portfolio Drukwerk Speelkaarten
common.buy 31.57 €
COMPREHENSION ECRITE 4 Reine Quinton / Boek Gebonden (paperback)
common.buy 22.39 €
Aufstand in Stadt und Land Thomas Lähns / Boek Gebonden (paperback)
common.buy 12.60 €
70 Cánones: De aquí y de Allá Violeta Hemsy De Gainza / Boek Gebonden (paperback)
common.buy 10.28 €
111 Orte in Bonn, die man gesehen haben muss Eckhard Heck / Boek Gebonden (paperback)
common.buy 15.22 €
BEETHOVEN SONATE OP 13 PATHETIQUE ADAGIO CANTABILE ACCORDION BOOK BEETHOVEN Boek binding.
common.buy 11.69 €
Contes des Bektâchî Basaran / Boek Gebonden (paperback)
common.buy 9.57 €
ABC Musik (Großdruckausgabe) Wieland Ziegenrücker / Boek Gebonden (paperback)
common.buy 20.27 €
Mister Fix Roger Hargreaves / Boek Gebonden (paperback)
common.buy 6.24 €
Escriure i viure : 20 anys de columnes (19893-2013) Aragó Masó / Boek Gebonden (paperback)
common.buy 25.51 €
Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Using Sophisticated Models in Resolution Theorem Proving
Auteur David M. Sandford
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Aantal pagina's 242
EAN 9783540102311
ISBN 3540102310
Libristo-code 01557591
Uitgeverij Springer, Berlin
Gewicht 425
Afmetingen 155 x 233 x 13

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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 / Boek Gebonden (paperback)
common.buy 31.57 €
THINK BEFORE YOU SPEAK OR THE William 1756-1836 Godwin / Boek Gebonden (paperback)
common.buy 14.52 €
Practical Approach to Animal Welfare Law Noel Sweeney / Boek Gebonden (paperback)
common.buy 43.57 €
Happiness Fantasy Carl Cederstrom / Boek Gebonden (harde band)
common.buy 51.85 €
A Gentle Walk Through Nature Denise L Gadreau / Boek Gebonden (paperback)
common.buy 14.82 €
Unsold Television Pilots Lee Goldberg / Boek Gebonden (paperback)
common.buy 33.58 €
CASES Morphology and Function: Russian grammar for beginners Viktoriia Chernetska / Boek Gebonden (paperback)
common.buy 51.14 €
Aviator's Guide to Florida Udo Leinhauser / Boek Gebonden (paperback)
common.buy 37.22 €
Developing Human Brain - Growth and Adversities Floyd H. Gilles / Boek Gebonden (harde band)
common.buy 180.78 €
Lonely Hearts Lilliana Rose / Boek Gebonden (paperback)
common.buy 10.58 €
Maid of Honor Peony Lane Publishing / Boek Gebonden (paperback)
common.buy 6.75 €
Normality and Pathology in Childhood Anna Freud / Boek Gebonden (harde band)
common.buy 167.06 €
Emotional Intelligence for Leadership: 4 Week Booster Plan to Increase Your Self-Awareness, Assertiveness and Your Ability to Manage People Jonatan Slane / Boek Gebonden (paperback)
common.buy 19.26 €
Letters on the Most Important Subjects, During a Correspondence of Twenty Years (1846) William Romaine / Boek Gebonden (harde band)
common.buy 42.87 €
The Architecture of Xrange: Inspired by Constraints Aaron Betsky / Boek Gebonden (harde band)
common.buy 55.88 €
CompTIA A+ CertMike: Prepare. Practice. Pass the Test! Get Certified! Mike Chapple / E-book Adobe ePub DRM
common.buy 50.53 €
The social model of the manpower formation Vera Gnevasheva / Boek Gebonden (paperback)
common.buy 25.82 €
Theories of Plates and Shells Reinhold Kienzler / Boek Gebonden (harde band)
common.buy 183.10 €
Judaistic Christianity Fenton John Anthony Hort / Boek Gebonden (paperback)
common.buy 34.90 €
Paternalism, Conflict, and Coproduction Lawrence Susskind / Boek Gebonden (paperback)
common.buy 153.94 €
Michal Kalecki in the 21st Century J. Toporowski / Boek Gebonden (harde band)
common.buy 140.63 €
Teaching Assistant's Guide to Managing Behaviour Jill Morgan / Boek Gebonden (paperback)
common.buy 27.13 €
American Paintings of the 19th Century, Part II Ellen G. Miles / Boek Gebonden (harde band)
common.buy 215.28 €
San Francisco: A Retrospect Of Bohemia Idwal Jones / Boek Gebonden (paperback)
common.buy 18.35 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?