The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Braunschweig :
Vieweg,
1999
|
Edition: | 2nd rev. ed |
Series: | Computational intelligence
|
Subjects: |
Internet
Massachusetts Institute of Technology
Call Number: |
QA76.9.A96.P553 1999 |
---|
Duke University
Call Number: |
QA76.9.A96 P553 1999 |
---|
Dartmouth College
Call Number: |
QA76.9.A96 P553 1999 |
---|