लोड हो रहा है...
Automated theorem proving: theory and practice
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | Printed Book |
| भाषा: | English |
| प्रकाशित: |
New York
Springer
2001
|
| विषय: |
| वस्तु वर्णन: | CD ROM available |
|---|---|
| भौतिक वर्णन: | xiii, 229p. |
| आईएसबीएन: | 0-387-95075-3 |