Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 05248009
Price: 183.61 EUR
Availability: InStock
Author: Monty Newborn
ISBN: 9780387950754

Theory and Practice

Monty Newborn

Език

Английски език

Книга С твърди корици

Код Либристо: 05248009

Издателство Springer-Verlag New York Inc., декември 2000

This text and software package introduces readers to automated theorem proving, while providing two... Цялото описание

Код Либристо: 05248009

444 b

183.61 €

359.10 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Labyrint světa a ráj srdce collegium

С меки корици

7.55 € 14.76 лв

Réussir le concours de technicien de police technique et scientifique de la police nationale (concours externe et interne) Quillien

С меки корици

33.51 € 65.54 лв

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

С меки корици

7.08 € 13.85 лв

UNDER EXECUTION, UNDER JAILBREAK ARAKI

Книга

13.55 € 26.49 лв

ONE PIECE Nº 05 (3 EN 1) ODA

С меки корици

18.77 € 36.71 лв

Livre sonore Petit Ours Brun - Mon année en chansons Marie Aubinais

Книга

22.55 € 44.10 лв

Die neue Linie 1 B1.1 - Hybride Ausgabe allango Susan Kaufmann

С меки корици

26.37 € 51.58 лв

Psychoanalyse und Neurobiologie Tobias H. Brocher

С твърди корици

27.41 € 53.60 лв

Pour une pensée systémique Donella Meadows

С меки корици

20.01 € 39.14 лв

New Scandinavian Design Anja Llorella Oriol

С твърди корици

26.42 € 51.68 лв

La protección del consumidor y usuario en el marco de los contratos de adhesión Agustín Vigurt Perea

С меки корици

31.86 € 62.30 лв

Nudzimisie i przyjaciele Rafal Klimczak

С твърди корици

6.25 € 12.23 лв

National Geographic. In 125 Jahren um die Welt. Asien&Ozeanien; . Reuel Golden

С твърди корици

71.06 € 138.98 лв

Amando Adamari Lopez

С меки корици

22.75 € 44.50 лв

Čítanie s porozumením V Afrike

С меки корици

2.99 € 5.86 лв

Hiltl. Vegetarisch nach Lust und Laune

С твърди корици

52.60 € 102.87 лв

Mroczniej James EL

С меки корици

8.84 € 17.29 лв

Licht aus, kleine Maus! Caroline Opheys

Дипляна

7.34 € 14.35 лв

Efectividad de La Magnetoterapia En La Gonartrosis Margarita González Méndez

С меки корици

27.51 € 53.81 лв

Au coeur du monde un homme pour les autres ANNA MARIA PANTANELL Книга

С меки корици

20.37 € 39.85 лв

Batman - Svět Různí

С твърди корици

20.79 € 40.66 лв

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems. Systemanforderung: The theorem-proving software runs under UNIX or LINUX or under IBM's C++ compiler.