लोड हो रहा है...
Symbolic logic and mechanical theorem proving /
| मुख्य लेखक: | |
|---|---|
| अन्य लेखक: | |
| भाषा: | Undetermined |
| प्रकाशित: |
1973.
|
| श्रृंखला: | Computer science and applied mathematics,A series of monogra
|
University of Kerala
| बोधानक: |
R14 L3 |
|---|---|
| प्रति LC1 | लाइव स्थिति उपलब्ध नहीं है |