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 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Symbolic Logic and Mechanical Theorem Proving

Sprache EnglischEnglisch
Buch Hardcover
Buch Symbolic Logic and Mechanical Theorem Proving Chin-Liang Chang
Libristo-Code: 04493011
Verlag Academic Press, November 1997
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem... Vollständige Beschreibung
? points 205 b
83.89 € inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

MÉTRICAS DE RENDIMIENTO EN ARTES MARCIALES Thingnam Nandalal Singh / Buch Broschur
common.buy 56.79 €
Yellowface (poche) Rebecca F. Kuang / Buch Broschur
common.buy 12.39 €
CUAL ES TU TORMENTO NUNEZ / Buch Broschur
common.buy 19.49 €
INTELIGENCIA ARTIFICIAL Y LENGUAJE C # CONCEPTOS E IMPLEME PUTIER / Buch Buch
common.buy 87.09 €
Les enquêtes du commissaire Léon 1 et 2 Nadine Monfils / Buch Broschur
common.buy 24.79 €
Top
Blame and so on Tsutomu Nihei / Buch Broschur
common.buy 33.49 €
Une si belle école Christian Signol / Buch Broschur
common.buy 13.39 €
Briefe der Frau Jeanette Strauss-Wohl an Boerne Elisabeth Mentzel / Buch Broschur
common.buy 49.90 €
Versuch Eines Sprachlichen Commentares Zu Goethes Iphigenie Auf Historischer Grundlage Raimund Halatschka / Buch Broschur
common.buy 17.09 €
Ein Mädchen namens Willow 1: Ein Mädchen namens Willow Simona Ceccarelli / Buch Hardcover
common.buy 15.69 €
Palais au XIXe siecle. Le premier avocat general, Oscar de Vallee ASSE-E / Buch Broschur
common.buy 26.09 €
ICI on Assassine Les Grands Hommes BLOY-L / Buch Broschur
common.buy 15.09 €
Caballo de Troya 5: Cesarea J.J. BENITEZ / Buch Broschur
common.buy 12.89 €
Jezyk niemiecki Rozmawiaj na kazdy temat 2 Ewa Rostek / Buch Broschur
common.buy 10.59 €
Das Bildnis des Dorian Gray Oscar Wilde / Buch Broschur
common.buy 36.90 €
Chiara - und der geheimnisvolle Leuchtschlussel Gertrud Katharina Schmidt / Buch Broschur
common.buy 9.90 €
Analytiker-Taschenbuch Wilhelm Fresenius / Buch Broschur
common.buy 71.69 €
Kannst du mal die Leber halten? Florian Asche / Buch Hardcover
common.buy 16.95 €

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

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 Symbolic Logic and Mechanical Theorem Proving
Autor Chin-Liang Chang, Richard Char-Tung Lee
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 1997
Anzahl der Seiten 331
EAN 9780121703509
ISBN 0121703509
Libristo-Code 04493011
Verlag Academic Press
Gewicht 648
Abmessungen 235 x 159 x 29

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
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

Summer of Fire and Blood Lyndal Roper / Buch Hardcover
common.buy 33.39 €
Momma Days, Mommy Days Marjorie Soto / Buch Broschur
common.buy 23.09 €
Informing Instruction with Vignette Analysis Charles Howard Gonzalez / Buch Broschur
common.buy 50.89 €
Lonely Planet Central Asia Phrasebook & Dictionary Lonely Planet / Buch Broschur
common.buy 5.89 €
Pedigrees Recorded at the Visitations of the County Palatine of Durham Made by William Flower, Norroy king-of-arms, in 1575 Anonym / Buch Broschur
common.buy 25.29 €
Resiliency is Key Dana-May Winthrop / Buch Broschur
common.buy 11.79 €
Ergodic Optimization in the Expanding Case Eduardo Garibaldi / Buch Broschur
common.buy 59.99 €
I Am God, I Am Jesus, I Am Allah, the Truth Will Set You Free jeff olson / E-Book Adobe ePub DRM
common.buy 4.89 €
Puzzle Power Kindergarten Jumbo Workbook / Buch Broschur
common.buy 8.89 €
Turning Your School Around: A Self-Guided Audit for School Improvement Robert D. Barr / Buch Broschur
common.buy 34.59 €
50 Syncopated Snare Drum Solos Sperie Karas / Buch Broschur
common.buy 14.29 €
Top
Sacred Science R. A. Schwaller De Lubicz / Buch Broschur
common.buy 16.49 €
Ascend M Anderson / Buch Broschur
common.buy 23.09 €
Create Heath / Buch Hardcover
common.buy 29.99 €
Whale Hunting With Gun And Camera Roy Chapman Andrews / Buch Broschur
common.buy 35.79 €
new Analysis of Chronology; in which an attempt is made to explain the History and Antiquities of the primitive Nations of the world, and the propheci William Hales / Buch Broschur
common.buy 30.79 €
Demnächst
Truth About Sexual Behavior and Unplanned Pregnancy Fred. L. Peterson / Buch Hardcover
common.buy 41.19 €
Top
Love: A Very Short Introduction Ronald De Sousa / Buch Broschur
common.buy 11.59 €
Metabolism of Agrochemicals in Plants Terry R. Roberts / Buch Hardcover
common.buy 465.79 €
Additive Combinatorics Tao / Buch Broschur
common.buy 81.59 €

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?