skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

The efficiency of theorem proving strategies : a comparative and asymptotic analysis
ClosePreview this item

The efficiency of theorem proving strategies : a comparative and asymptotic analysis

Author: David A Plaisted; Yunshan Zhu
Publisher: Braunschweig : Vieweg, 1999.
Series: Computational intelligence
Edition/Format: Book : English : 2nd, rev. edView all editions and formats
Rating:

Retrieving ratings and reviews data...  

 

Find a copy in the library

Retrieving... Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: David A Plaisted; Yunshan Zhu
ISBN: 3528155744 9783528155742
OCLC Number: 46649769
Description: vii, 170 p. : ill. ; 21 cm.
Series Title: Computational intelligence
Responsibility: David A. Plaisted, Yunshan Zhu.

Reviews

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.