ML Anthology

Chang, Chin-Liang

1 publications

IJCAI 1969 Completeness Theorems for Semantic Resolution in Consequence-Finding James R. Slagle, Chin-Liang Chang, Richard C. T. Lee