|
Search the dblp DataBase
John K. Dixon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle
MARK I Robot. [Citation Graph (0, 0)][DBLP] IJCAI, 1981, pp:1065- [Conf]
- John K. Dixon
Z-Resolution: Theorem-Proving with Compiled Axioms. [Citation Graph (0, 0)][DBLP] J. ACM, 1973, v:20, n:1, pp:127-147 [Journal]
- James R. Slagle, John K. Dixon
Experiments With Some Programs That Search Game Trees. [Citation Graph (0, 0)][DBLP] J. ACM, 1969, v:16, n:2, pp:189-207 [Journal]
- James R. Slagle, John K. Dixon
Finding a good figure that approximately passes through given points. [Citation Graph (0, 0)][DBLP] Pattern Recognition, 1980, v:12, n:5, pp:319-326 [Journal]
- James R. Slagle, John K. Dixon
Freedom descriptions: A way to find figures that approximate given points. [Citation Graph (0, 0)][DBLP] Pattern Recognition, 1984, v:17, n:6, pp:631-636 [Journal]
- Chin-Liang Chang, Richard C. T. Lee, John K. Dixon
The Specialization of Programs by Theorem Proving. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1973, v:2, n:1, pp:7-15 [Journal]
Search in 0.002secs, Finished in 0.003secs
|