Hits: 150
E-Book details
| Title | 8th International Conference on Automated Deduction |
| Author/Editor | Siekmann |
| Publication Year | 1986 |
| e-ISBN | 9783540398615 |
| Access online |
E-Book Summary
Contact us
| libper@iitk.ac.in |
| Title | 8th International Conference on Automated Deduction |
| Author/Editor | Siekmann |
| Publication Year | 1986 |
| e-ISBN | 9783540398615 |
| Access online |
| libper@iitk.ac.in |