Eaas, Andrew

1 publications

IJCAI 1981 Reasoning About Deduction with Unknown Constants Andrew Eaas