| |
| 1984 | ||
|---|---|---|
| 6 | EE | James R. Slagle, John K. Dixon: Freedom descriptions: A way to find figures that approximate given points. Pattern Recognition 17(6): 631-636 (1984) |
| 1981 | ||
| 5 | John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle: MARK I Robot. IJCAI 1981: 1065 | |
| 1980 | ||
| 4 | EE | James R. Slagle, John K. Dixon: Finding a good figure that approximately passes through given points. Pattern Recognition 12(5): 319-326 (1980) |
| 1973 | ||
| 3 | EE | John K. Dixon: Z-Resolution: Theorem-Proving with Compiled Axioms. J. ACM 20(1): 127-147 (1973) |
| 2 | Chin-Liang Chang, Richard C. T. Lee, John K. Dixon: The Specialization of Programs by Theorem Proving. SIAM J. Comput. 2(1): 7-15 (1973) | |
| 1969 | ||
| 1 | EE | James R. Slagle, John K. Dixon: Experiments With Some Programs That Search Game Trees. J. ACM 16(2): 189-207 (1969) |
| 1 | Susan A. Bouchard | [5] |
| 2 | Chin-Liang Chang | [2] |
| 3 | William G. Kennedy | [5] |
| 4 | Richard C. T. Lee (Richard Chia-Tung Lee) | [2] |
| 5 | James R. Slagle | [1] [4] [5] [6] |