Track Order   | Customer Support   | Request Book   |
International Order
The Efficiency Of Theorem Proving Strategies 2Nd Edition at Meripustak

The Efficiency Of Theorem Proving Strategies 2Nd Edition

Books from same Author: Plaisted D.A.

Books from same Publisher: Springer

Related Category: Author List / Publisher List

  • Retail Price: ₹ 6719/- [ 25.00% off ]

    Seller Price: ₹ 5039

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 25.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 25.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available


Click for International Orders
  • Provide Fastest Delivery
  • 100% Original Guaranteed
    • General Information  
    Author(s)Plaisted D.A.
    PublisherSpringer
    ISBN9783528155742
    Pages172
    BindingPaperback
    LanguageEnglish
    Publish YearOctober 1999

    Description

    Springer The Efficiency Of Theorem Proving Strategies 2Nd Edition by Plaisted D.A.

    Dieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Das Werk stellt erstmalig asymptotische Schranken fur die Grosse der von vielen gebrauchlichen Beweisstrategien erzeugten Suchfelder bereit. Auf diese Weise erlaubt es ein theoretisches Verstandnis der Effizienz unterschiedlicher Beweisverfahren. Es wird ein fundamental neues Werkzeug fur den Effizienzvergleich von Beweisstrategien bereitgestellt. Die zweite Auflage wurde gegenuber der ersten leicht verbessert, neuere Literaturhinweise zudem berucksichtigt. This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical unterstanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.