[PDF.98jq] Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science)

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science)

[PDF.xf00] Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science)

Automated Deduction - CADE-14: From Springer epub
Automated Deduction - CADE-14: From Springer pdf download
Automated Deduction - CADE-14: From Springer pdf file
Automated Deduction - CADE-14: From Springer audiobook
Automated Deduction - CADE-14: From Springer book review
Automated Deduction - CADE-14: From Springer summary

 | #18164947 in Books |  1997-01-15 | Original language:English | PDF # 1 |  9.25 x1.09 x6.10l,1.48 | File type: PDF | 462 pages

---

|

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.
The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction...

You can specify the type of files you want, for your device.Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science)   |  From Springer. A good, fresh read, highly recommended.

Read Online Now