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: 05248009
Price: 65690 HUF
Availability: InStock
Author: Monty Newborn
ISBN: 9780387950754

Theory and Practice

Monty Newborn

Language

English

Book Hardback

Libristo code: 05248009

Publishers Springer-Verlag New York Inc., December 2000

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

Libristo code: 05248009

437 b

65 690 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Labyrint světa a ráj srdce collegium

Paperback

2 363 Ft

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

Paperback

11 632 Ft

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Paperback

2 662 Ft

New Scandinavian Design Anja Llorella Oriol

Hardback

9 135 Ft

UNDER EXECUTION, UNDER JAILBREAK ARAKI

Book

4 276 Ft

ONE PIECE Nº 05 (3 EN 1) ODA

Paperback

6 487 Ft

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

Book

7 797 Ft

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

Paperback

9 164 Ft

Psychoanalyse und Neurobiologie Tobias H. Brocher

Hardback

9 482 Ft

Pour une pensée systémique Donella Meadows

Paperback

6 910 Ft

Čítanie s porozumením V Afrike

Paperback

1 400 Ft

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

Paperback

10 037 Ft

Cancionero Francesco Petrarca

Paperback

6 093 Ft

Nudzimisie i przyjaciele Rafal Klimczak

Hardback

2 211 Ft

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

Hardback

22 874 Ft

Amando Adamari Lopez

Paperback

9 045 Ft

Hiltl. Vegetarisch nach Lust und Laune

Hardback

19 818 Ft

Mroczniej James EL

Paperback

2 515 Ft

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

Paperback

10 355 Ft

Licht aus, kleine Maus! Caroline Opheys

Board book

2 767 Ft

Au coeur du monde un homme pour les autres ANNA MARIA PANTANELL Book

Paperback

7 043 Ft

Batman - Svět Různí

Hardback

7 119 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. Systemanforderung: The theorem-proving software runs under UNIX or LINUX or under IBM's C++ compiler.