ML Anthology

Sturgill, David B.

1 publications

AAAI 1994 Using Hundreds of Workstations to Solve First-Order Logic Problems Alberto Maria Segre, David B. Sturgill