| |
| 1997 | ||
|---|---|---|
| 3 | David B. Sturgill, Alberto Maria Segre: Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. J. Autom. Reasoning 19(3): 347-376 (1997) | |
| 1994 | ||
| 2 | Alberto Maria Segre, David B. Sturgill: Using Hundreds of Workstations to Solve First-Order Logic Problems. AAAI 1994: 187-192 | |
| 1 | David B. Sturgill, Alberto Maria Segre: A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE 1994: 484-498 | |
| 1 | Alberto Maria Segre | [1] [2] [3] |