लोड हो रहा है...
Logic for computer science : Foundations of Automatic Theorem proving/
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | Printed Book |
| भाषा: | English |
| प्रकाशित: |
John Wiley & Sons,
1987.
|
University of Calicut
| बोधानक: |
68 GAL |
|---|---|
| प्रति | लाइव स्थिति उपलब्ध नहीं है |