dblp.uni-trier.dewww.uni-trier.de

John K. Dixon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1984
6EEJames 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
4EEJames R. Slagle, John K. Dixon: Finding a good figure that approximately passes through given points. Pattern Recognition 12(5): 319-326 (1980)
1973
3EEJohn 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
1EEJames R. Slagle, John K. Dixon: Experiments With Some Programs That Search Game Trees. J. ACM 16(2): 189-207 (1969)

Coauthor Index

1Susan A. Bouchard [5]
2Chin-Liang Chang [2]
3William G. Kennedy [5]
4Richard C. T. Lee (Richard Chia-Tung Lee) [2]
5James R. Slagle [1] [4] [5] [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)