The Efficiency of Theorem Proving Strategies (Open Library)

[Edit][History] last modified april 30, 2008

The Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis (Computational Intelligence)

by David A. Plaisted, Yunshan Zhu
Published in October 28, 1999, GWV-Vieweg

The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu

Change Cover

Language: English

Edition: 2 edition

Format: Paperback

Dimensions: 8.4 x 6 x 0.4 inches

Weight: 10.6 ounces

ISBN 10: 3528155744

ISBN 13: 9783528155742

Subject: Applied mathematics
Artificial intelligence
Computers
Automata
Computer Logic
Computers - General Information
Computer Books: General
Science/Mathematics
Artificial Intelligence - General
Computers / Artificial Intelligence
Computer Science

Buy

Amazon
Abebooks
Alibris
Barnes and Noble
Powells

Borrow

Your local library
BookMooch
Title Trader

Browse

Not available for this book.

Data comes from , , and users like you.

description

First sentence: The efficiency of a theorem prover is more directly influenced by the total number of inferences performed before a proof is found than by the size of the final proof.

Table of contents

No table of contents available Add it!