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.

Symbolic Logic and Mechanical Theorem Proving

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Symbolic Logic and Mechanical Theorem Proving Chin-Liang Chang
Libristo-code: 04493011
Uitgeverij Academic Press, november 1997
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem... Volledige beschrijving
? points 197 b
81.32 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

MÉTRICAS DE RENDIMIENTO EN ARTES MARCIALES Thingnam Nandalal Singh / Boek Gebonden (paperback)
common.buy 54.31 €
Yellowface (poche) Rebecca F. Kuang / Boek Gebonden (paperback)
common.buy 18.40 €
CUAL ES TU TORMENTO NUNEZ / Boek Gebonden (paperback)
common.buy 19.72 €
INTELIGENCIA ARTIFICIAL Y LENGUAJE C # CONCEPTOS E IMPLEME PUTIER / Boek Boek
common.buy 76.97 €
Les enquêtes du commissaire Léon 1 et 2 Nadine Monfils / Boek Gebonden (paperback)
common.buy 23.86 €
TOP
Blame and so on Tsutomu Nihei / Boek Gebonden (paperback)
common.buy 32.26 €
Une si belle école Christian Signol / Boek Gebonden (paperback)
common.buy 12.74 €
Briefe der Frau Jeanette Strauss-Wohl an Boerne Elisabeth Mentzel / Boek Gebonden (paperback)
common.buy 44.50 €
Versuch Eines Sprachlichen Commentares Zu Goethes Iphigenie Auf Historischer Grundlage Raimund Halatschka / Boek Gebonden (paperback)
common.buy 16.48 €
Ein Mädchen namens Willow 1: Ein Mädchen namens Willow Simona Ceccarelli / Boek Gebonden (harde band)
common.buy 12.74 €
Palais au XIXe siecle. Le premier avocat general, Oscar de Vallee ASSE-E / Boek Gebonden (paperback)
common.buy 25.18 €
ICI on Assassine Les Grands Hommes BLOY-L / Boek Gebonden (paperback)
common.buy 14.56 €
Caballo de Troya 5: Cesarea J.J. BENITEZ / Boek Gebonden (paperback)
common.buy 13.04 €
Jezyk niemiecki Rozmawiaj na kazdy temat 2 Ewa Rostek / Boek Gebonden (paperback)
common.buy 10.81 €
Das Bildnis des Dorian Gray Oscar Wilde / Boek Gebonden (paperback)
common.buy 32.97 €
Chiara - und der geheimnisvolle Leuchtschlussel Gertrud Katharina Schmidt / Boek Gebonden (paperback)
common.buy 8.99 €
Analytiker-Taschenbuch Wilhelm Fresenius / Boek Gebonden (paperback)
common.buy 69.28 €
Kannst du mal die Leber halten? Florian Asche / Boek Gebonden (harde band)
common.buy 15.26 €

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.

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 Symbolic Logic and Mechanical Theorem Proving
Auteur Chin-Liang Chang, Richard Char-Tung Lee
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1997
Aantal pagina's 331
EAN 9780121703509
ISBN 0121703509
Libristo-code 04493011
Uitgeverij Academic Press
Gewicht 648
Afmetingen 235 x 159 x 29

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
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

Summer of Fire and Blood Lyndal Roper / Boek Gebonden (harde band)
common.buy 33.78 €
Momma Days, Mommy Days Marjorie Soto / Boek Gebonden (paperback)
common.buy 22.35 €
Informing Instruction with Vignette Analysis Charles Howard Gonzalez / Boek Gebonden (paperback)
common.buy 49.25 €
Lonely Planet Central Asia Phrasebook & Dictionary Lonely Planet / Boek Gebonden (paperback)
common.buy 5.96 €
Pedigrees Recorded at the Visitations of the County Palatine of Durham Made by William Flower, Norroy king-of-arms, in 1575 Anonym / Boek Gebonden (paperback)
common.buy 24.17 €
Resiliency is Key Dana-May Winthrop / Boek Gebonden (paperback)
common.buy 11.32 €
Ergodic Optimization in the Expanding Case Eduardo Garibaldi / Boek Gebonden (paperback)
common.buy 60.58 €
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.64 €
Puzzle Power Kindergarten Jumbo Workbook / Boek Gebonden (paperback)
common.buy 8.39 €
Turning Your School Around: A Self-Guided Audit for School Improvement Robert D. Barr / Boek Gebonden (paperback)
common.buy 33.17 €
50 Syncopated Snare Drum Solos Sperie Karas / Boek Gebonden (paperback)
common.buy 13.54 €
TOP
Sacred Science R. A. Schwaller De Lubicz / Boek Gebonden (paperback)
common.buy 15.77 €
Ascend M Anderson / Boek Gebonden (paperback)
common.buy 22.35 €
Create Heath / Boek Gebonden (harde band)
common.buy 28.31 €
Whale Hunting With Gun And Camera Roy Chapman Andrews / Boek Gebonden (paperback)
common.buy 34.48 €
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 / Boek Gebonden (paperback)
common.buy 29.73 €
Wordt verwacht
Truth About Sexual Behavior and Unplanned Pregnancy Fred. L. Peterson / Boek Gebonden (harde band)
common.buy 39.74 €
TOP Voordelig
Love: A Very Short Introduction Ronald De Sousa / Boek Gebonden (paperback)
common.buy 11.32 €
Metabolism of Agrochemicals in Plants Terry R. Roberts / Boek Gebonden (harde band)
common.buy 447.61 €
Additive Combinatorics Tao / Boek Gebonden (paperback)
common.buy 78.79 €

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?