Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 02174450
Price: 126.09 EUR
Availability: InStock
Author: Monty Newborn
ISBN: 9781461265191

Theory and Practice

Monty Newborn

Language

English

Book Paperback

Libristo code: 02174450

Publishers Springer-Verlag New York Inc., May 2013

This text and software package introduces readers to automated theorem proving, while providing two... Full description

Libristo code: 02174450

309 b

126.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Finance d'entreprise 6e édition Mohamed Akli Achabou

Paperback

72.49 €

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Book

25.49 €

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

Hardback

16.89 €

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

Paperback

31.39 €

Introducción a la moderna antropologa cultural BOCK

Paperback

13.89 €

ENTRELACS / INTERLACE HELLA JONGERIUS Book

Book

8.19 €

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

Paperback

22.59 €

Panda Kalioujny

Hardback

18.69 €

Un terrain contesté Tamir Sorek

Paperback

37.39 €

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

binding.

17.19 €

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

Paperback

12.99 €

Einfahrt Freihalden! Winfried G. Luible

Paperback

6.89 €

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

Paperback

13.49 €

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

Paperback

12.59 €

Der geheimnisvolle Planet... Arnd Stein

Audio CD

17.19 €

Bound to Her Inka Loreen Minden

Paperback

5.89 €

Fraulein von Scuderi E.T.A. Hoffmann

Paperback

9.90 €

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

Paperback

18.95 €

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.