A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Author(s)
Walther, Christoph
Walther, Christoph
| Name in long format: | A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) |
|---|---|
| ISBN-10: | 0273087185 |
| ISBN-13: | 9780273087182 |
| Book pages: | 168 |
| Book language: | en |
| Binding: | Paperback |
| Publisher: | Morgan Kaufmann |
| Dimensions: | Height: 9.75 Inches, Length: 6.75 Inches, Weight: 0.58202037168 Pounds, Width: 0.38 Inches |
![Book Hinduism and Nature [Paperback] [Dec 15, 2017] Nanditha Krishna free](/t/u/image/2023/03/31/9780143427834.jpg "Book Hinduism and Nature [Paperback] [Dec 15, 2017] Nanditha Krishna free")
