Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
William McCune
Download - Immediately Available
Format: eBook (PDF)
The 9th International Conference on Computing and InformationTechnology (IC2IT2013) : 9th-10th May 2013 King Mongkut's University of Technology North Bangkok
Phayung Meesad
Download - Immediately Available
Format: eBook (PDF)