Taxonomic syntax for first order inference
McAllester, David, Givan, RobertVolume:
40
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/151261.151264
Date:
April, 1993
File:
PDF, 2.76 MB
english, 1993