Automated theorem proving : theory and practice /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
[2001]
|
| Subjects: |
| Physical Description: | xiii, 231 pages : illustrations ; 25 cm. + 1 CD-ROM (4 3/4 in.) |
|---|---|
| Format: | System requirements: Unix, Linux, Solaris, FreeBSD, or AIX. |
| Bibliography: | Includes bibliographical references (pages [207]-210) and index. |
| ISBN: | 0387950753 (alk. paper) |