Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 02174450
Price: 48435 HUF
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

318 b

48 435 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Finance d'entreprise 6e édition Mohamed Akli Achabou

Paperback

25 762 Ft

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Book

9 343 Ft

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

Hardback

5 964 Ft

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

Paperback

11 079 Ft

Introducción a la moderna antropologa cultural BOCK

Paperback

4 899 Ft

ENTRELACS / INTERLACE HELLA JONGERIUS Book

Book

2 783 Ft

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

Paperback

8 675 Ft

Panda Kalioujny

Hardback

6 665 Ft

Un terrain contesté Tamir Sorek

Paperback

13 224 Ft

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

binding.

6 104 Ft

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

Paperback

4 746 Ft

Einfahrt Freihalden! Winfried G. Luible

Paperback

2 649 Ft

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

Paperback

4 746 Ft

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

Paperback

4 837 Ft

Der geheimnisvolle Planet... Arnd Stein

Audio CD

6 588 Ft

Bound to Her Inka Loreen Minden

Paperback

2 250 Ft

Fraulein von Scuderi E.T.A. Hoffmann

Paperback

3 652 Ft

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

Paperback

6 876 Ft

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.