Над 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: 02174450
Price: 127.38 EUR
Availability: InStock
Author: Monty Newborn
ISBN: 9781461265191

Theory and Practice

Monty Newborn

Език

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

Книга С меки корици

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

Издателство Springer-Verlag New York Inc., май 2013

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

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

309 b

127.38 €

249.14 лв

Външен склад Изпращаме след 5-8 дни

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

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

Finance d'entreprise 6e édition Mohamed Akli Achabou

С меки корици

73.24 € 143.25 лв

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Книга

25.72 € 50.30 лв

Richard Dotzauer a osobnosti podnikatelského života 19. století Petr Valenta

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

17.09 € 33.43 лв

Latin Ou L'Empire D'Un Signe (Le) Francoise Waquet

С меки корици

31.71 € 62.02 лв

Introducción a la moderna antropologa cultural BOCK

С меки корици

14.05 € 27.47 лв

ENTRELACS / INTERLACE HELLA JONGERIUS Книга

Книга

8.26 € 16.16 лв

Dynamique paysanne et développement rural au Congo N'Kaloulou

С меки корици

22.83 € 44.65 лв

Panda Kalioujny

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

18.90 € 36.97 лв

Un terrain contesté Tamir Sorek

С меки корици

37.81 € 73.95 лв

Customização Curricular no Ensino Médio ROBERTO RAFAEL DIAS DA SILVA

binding.

17.40 € 34.04 лв

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

С меки корици

12.50 € 24.44 лв

Einfahrt Freihalden! Winfried G. Luible

С меки корици

6.97 € 13.63 лв

Ocho días de marzo : el reencuentro con el policía resucitado Jordi Sierra i Fabra

С меки корици

13.63 € 26.66 лв

Prima Che Fossimo in Tre: : Ethan E Rhett L A Witt

С меки корици

12.13 € 23.73 лв

Der geheimnisvolle Planet... Arnd Stein

Аудио компактдиск

17.35 € 33.94 лв

Bound to Her Inka Loreen Minden

С меки корици

5.94 € 11.61 лв

Fraulein von Scuderi E.T.A. Hoffmann

С меки корици

9.55 € 18.68 лв

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

С меки корици

18.07 € 35.35 лв

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.