| 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 |
|---|
| 5 | EE | Arthur 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 |
|---|
| 2 | EE | Arthur J. Nevins:
A Human Oriented Logic for Automatic Theorem-Proving.
J. ACM 21(4): 606-621 (1974) |
| 1970 |
|---|
| 1 | EE | Arthur J. Nevins:
A Programming Language With Automatic Goal Generation and Selection.
J. ACM 17(2): 216-230 (1970) |
