Automated Mathematical Induction

Name: Automated Mathematical Induction
Brand: Springer
SKU: 9780792340102
Price: 40300 HUF
Availability: InStock

Szerző: antao Zhang

Nyelv:

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

Kiadó: Springer

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

Küldés 13-18 napon belül

40 300 Ft

Two decades ago, Boyer and Moore built one of the first automated theorem provers that was capable o...

Információk a könyvről

Szerző

antao Zhang

Nyelv

Angol

Kötés

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

Kiadva

1996

oldal

222

EAN

9780792340102

ISBN

0792340108

Enbook ID

01395063

Kiadó

Springer

Súly

1130

Méretek

156 x 234 x 15

Teljes leírás

Two decades ago, Boyer and Moore built one of the first automated theorem provers that was capable of proofs by mathematical induction. Today, the Boyer-Moore theorem prover remains the most successful in the field. For a long time, the research on automated mathematical induction was confined to very few people. In recent years, as more people realize the importance of automated inductive reasoning to the use of formal methods of software and hardware development, more automated inductive proof systems have been built. Three years ago, the interested researchers in the field formed two consortia on automated inductive reasoning - the MInd consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. Following the suggestions of Alan Bundy and Deepak Kapur, this book documents advances in the understanding of the field and in the power of the theorem provers that can be built. In the first of six papers, the reader is provided with a tutorial study of the Boyer-Moore theorem prover. The other five papers present novel ideas that could be used to build theorem provers more powerful than the Boyer-Moore prover.

É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 Mathematical Induction

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