| Shelfclass_id | 4.B.3 |
| Sortkey | PLAISTED, DAVID A |
| Authors | David A. Plaisted, Yunshan Zhu |
| Title | The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis |
| Publisher | Vieweg |
| Edition | 2nd, revised ed. |
| Year | 1997 |
| Languages | eng |
| Isbn | 3528155744 |
| Series | Computational intelligence |
| Description | vi, 167 p. ill. 21 cm. |
| Record date | 20061027 |
| Location | Braunschweig |
| Keywords | Automatic theorem proving |