Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Symbolic Logic and Mechanical Theorem Proving

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Symbolic Logic and Mechanical Theorem Proving Chin-Liang Chang
Libristo kód: 04493011
Nakladatelství Academic Press, listopad 1997
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem... Celý popis
? points 180 b
1 797 Kč
Skladem u dodavatele Odesíláme za 10-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

MÉTRICAS DE RENDIMIENTO EN ARTES MARCIALES Thingnam Nandalal Singh / Kniha Brožovaná
common.buy 1 237 Kč
Yellowface (poche) Rebecca F. Kuang / Kniha Brožovaná
common.buy 445 Kč
CUAL ES TU TORMENTO NUNEZ / Kniha Brožovaná
common.buy 477 Kč
INTELIGENCIA ARTIFICIAL Y LENGUAJE C # CONCEPTOS E IMPLEME PUTIER / Kniha Kniha
common.buy 1 863 Kč
Les enquêtes du commissaire Léon 1 et 2 Nadine Monfils / Kniha Brožovaná
common.buy 578 Kč
Top
Blame and so on Tsutomu Nihei / Kniha Brožovaná
common.buy 781 Kč
Une si belle école Christian Signol / Kniha Brožovaná
common.buy 309 Kč
Briefe der Frau Jeanette Strauss-Wohl an Boerne Elisabeth Mentzel / Kniha Brožovaná
common.buy 1 077 Kč
Versuch Eines Sprachlichen Commentares Zu Goethes Iphigenie Auf Historischer Grundlage Raimund Halatschka / Kniha Brožovaná
common.buy 380 Kč
Ein Mädchen namens Willow 1: Ein Mädchen namens Willow Simona Ceccarelli / Kniha Pevná
common.buy 309 Kč
Palais au XIXe siecle. Le premier avocat general, Oscar de Vallee ASSE-E / Kniha Brožovaná
common.buy 582 Kč
ICI on Assassine Les Grands Hommes BLOY-L / Kniha Brožovaná
common.buy 336 Kč
Caballo de Troya 5: Cesarea J.J. BENITEZ / Kniha Brožovaná
common.buy 315 Kč
Jezyk niemiecki Rozmawiaj na kazdy temat 2 Ewa Rostek / Kniha Brožovaná
common.buy 249 Kč
Das Bildnis des Dorian Gray Oscar Wilde / Kniha Brožovaná
common.buy 752 Kč
Chiara - und der geheimnisvolle Leuchtschlussel Gertrud Katharina Schmidt / Kniha Brožovaná
common.buy 219 Kč
Analytiker-Taschenbuch Wilhelm Fresenius / Kniha Brožovaná
common.buy 1 516 Kč
Kannst du mal die Leber halten? Florian Asche / Kniha Pevná
common.buy 370 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Symbolic Logic and Mechanical Theorem Proving
Autor Chin-Liang Chang, Richard Char-Tung Lee
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1997
Počet stran 331
EAN 9780121703509
ISBN 0121703509
Libristo kód 04493011
Nakladatelství Academic Press
Váha 648
Rozměry 235 x 159 x 29

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Summer of Fire and Blood Lyndal Roper / Kniha Pevná
common.buy 664 Kč
Momma Days, Mommy Days Marjorie Soto / Kniha Brožovaná
common.buy 515 Kč
Informing Instruction with Vignette Analysis Charles Howard Gonzalez / Kniha Brožovaná
common.buy 1 139 Kč
Lonely Planet Central Asia Phrasebook & Dictionary Lonely Planet / Kniha Brožovaná
common.buy 145 Kč
Pedigrees Recorded at the Visitations of the County Palatine of Durham Made by William Flower, Norroy king-of-arms, in 1575 Anonym / Kniha Brožovaná
common.buy 584 Kč
Resiliency is Key Dana-May Winthrop / Kniha Brožovaná
common.buy 260 Kč
Ergodic Optimization in the Expanding Case Eduardo Garibaldi / Kniha Brožovaná
common.buy 1 398 Kč
I Am God, I Am Jesus, I Am Allah, the Truth Will Set You Free jeff olson / E-kniha Adobe ePub DRM
common.buy 112 Kč
Puzzle Power Kindergarten Jumbo Workbook / Kniha Brožovaná
common.buy 191 Kč
Turning Your School Around: A Self-Guided Audit for School Improvement Robert D. Barr / Kniha Brožovaná
common.buy 757 Kč
50 Syncopated Snare Drum Solos Sperie Karas / Kniha Brožovaná
common.buy 308 Kč
Top
Sacred Science R. A. Schwaller De Lubicz / Kniha Brožovaná
common.buy 358 Kč
Ascend M Anderson / Kniha Brožovaná
common.buy 515 Kč
Create Heath / Kniha Pevná
common.buy 686 Kč
Whale Hunting With Gun And Camera Roy Chapman Andrews / Kniha Brožovaná
common.buy 794 Kč
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 / Kniha Brožovaná
common.buy 685 Kč
Připravujeme
Truth About Sexual Behavior and Unplanned Pregnancy Fred. L. Peterson / Kniha Pevná
common.buy 963 Kč
Top Levně
Love: A Very Short Introduction Ronald De Sousa / Kniha Brožovaná
common.buy 274 Kč
Metabolism of Agrochemicals in Plants Terry R. Roberts / Kniha Pevná
common.buy 9 691 Kč
Additive Combinatorics Tao / Kniha Brožovaná
common.buy 1 819 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?