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

Arthur J. Nevins Vis

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

*1995
7 Arthur J. Nevins: A Branch and Bound Incremental Conceptual Clusterer. Machine Learning 18(1): 5-22 (1995)
1985
6 Arthur J. Nevins: An Architecture for Knowledge Based Deduction. IJCAI 1985: 335-339
1979
5EEArthur J. Nevins: An orientation free study of handprinted characters. Pattern Recognition 11(3): 155-164 (1979)
1975
4 Arthur J. Nevins: Plane Geometry Theorem Proving Using Forward Chaining. Artif. Intell. 6(1): 1-23 (1975)
3 Arthur J. Nevins: A Relaxation Approach to Splitting in an Automatic Theorem Prover. Artif. Intell. 6(1): 25-39 (1975)
1974
2EEArthur J. Nevins: A Human Oriented Logic for Automatic Theorem-Proving. J. ACM 21(4): 606-621 (1974)
1970
1EEArthur J. Nevins: A Programming Language With Automatic Goal Generation and Selection. J. ACM 17(2): 216-230 (1970)

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