Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Using Sophisticated Models in Resolution Theorem Proving

Sprache EnglischEnglisch
Buch Broschur
Buch Using Sophisticated Models in Resolution Theorem Proving David M. Sandford
Libristo-Code: 01557591
Verlag Springer, Berlin
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Disney Lorcana: Premium Card Portfolio Drucksachen Karten
common.buy 32.79 €
COMPREHENSION ECRITE 4 Reine Quinton / Buch Broschur
common.buy 22.19 €
Aufstand in Stadt und Land Thomas Lähns / Buch Broschur
common.buy 13.90 €
70 Cánones: De aquí y de Allá Violeta Hemsy De Gainza / Buch Broschur
common.buy 10.69 €
111 Orte in Bonn, die man gesehen haben muss Eckhard Heck / Buch Broschur
common.buy 18.00 €
BEETHOVEN SONATE OP 13 PATHETIQUE ADAGIO CANTABILE ACCORDION BOOK BEETHOVEN Buch binding.
common.buy 12.19 €
Contes des Bektâchî Basaran / Buch Broschur
common.buy 10.09 €
ABC Musik (Großdruckausgabe) Wieland Ziegenrücker / Buch Broschur
common.buy 23.50 €
Mister Fix Roger Hargreaves / Buch Broschur
common.buy 6.49 €
Escriure i viure : 20 anys de columnes (19893-2013) Aragó Masó / Buch Broschur
common.buy 26.29 €
Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Using Sophisticated Models in Resolution Theorem Proving
Autor David M. Sandford
Sprache Englisch
Einband Buch - Broschur
Anzahl der Seiten 242
EAN 9783540102311
ISBN 3540102310
Libristo-Code 01557591
Verlag Springer, Berlin
Gewicht 425
Abmessungen 155 x 233 x 13

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

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 / Buch Broschur
common.buy 32.79 €
THINK BEFORE YOU SPEAK OR THE William 1756-1836 Godwin / Buch Broschur
common.buy 15.09 €
Practical Approach to Animal Welfare Law Noel Sweeney / Buch Broschur
common.buy 43.19 €
Happiness Fantasy Carl Cederstrom / Buch Hardcover
common.buy 51.39 €
A Gentle Walk Through Nature Denise L Gadreau / Buch Broschur
common.buy 15.39 €
Unsold Television Pilots Lee Goldberg / Buch Broschur
common.buy 35.09 €
CASES Morphology and Function: Russian grammar for beginners Viktoriia Chernetska / Buch Broschur
common.buy 53.29 €
Aviator's Guide to Florida Udo Leinhauser / Buch Broschur
common.buy 38.79 €
Developing Human Brain - Growth and Adversities Floyd H. Gilles / Buch Hardcover
common.buy 179.19 €
Lonely Hearts Lilliana Rose / Buch Broschur
common.buy 10.99 €
Maid of Honor Peony Lane Publishing / Buch Broschur
common.buy 6.99 €
Normality and Pathology in Childhood Anna Freud / Buch Hardcover
common.buy 172.99 €
Emotional Intelligence for Leadership: 4 Week Booster Plan to Increase Your Self-Awareness, Assertiveness and Your Ability to Manage People Jonatan Slane / Buch Broschur
common.buy 20.09 €
Letters on the Most Important Subjects, During a Correspondence of Twenty Years (1846) William Romaine / Buch Hardcover
common.buy 44.59 €
The Architecture of Xrange: Inspired by Constraints Aaron Betsky / Buch Hardcover
common.buy 55.39 €
CompTIA A+ CertMike: Prepare. Practice. Pass the Test! Get Certified! Mike Chapple / E-Book Adobe ePub DRM
common.buy 52.49 €
The social model of the manpower formation Vera Gnevasheva / Buch Broschur
common.buy 27.09 €
Theories of Plates and Shells Reinhold Kienzler / Buch Hardcover
common.buy 181.49 €
Judaistic Christianity Fenton John Anthony Hort / Buch Broschur
common.buy 36.19 €
Paternalism, Conflict, and Coproduction Lawrence Susskind / Buch Broschur
common.buy 160.89 €
Michal Kalecki in the 21st Century J. Toporowski / Buch Hardcover
common.buy 139.39 €
Teaching Assistant's Guide to Managing Behaviour Jill Morgan / Buch Broschur
common.buy 28.19 €
American Paintings of the 19th Century, Part II Ellen G. Miles / Buch Hardcover
common.buy 224.59 €
San Francisco: A Retrospect Of Bohemia Idwal Jones / Buch Broschur
common.buy 19.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?