Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 9780387950754
Price: 61453 HUF
Availability: InStock

Theory and Practice

Szerző: Monty Newborn

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 11-15 napon belül

61 453 Ft

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

Információk a könyvről

Szerző

Monty Newborn

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2000

oldal

231

EAN

9780387950754

ISBN

0387950753

Enbook ID

05248009

Kiadó

Springer-Verlag New York Inc.

Súly

543

Méretek

155 x 235 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automated Theorem Proving

Theory and Practice

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták