| |
| 1977 | ||
|---|---|---|
| 3 | Vesko Marinov: Computer Understanding of Mathematical Proofs. IJCAI 1977: 851-857 | |
| 1973 | ||
| 2 | Laurent Siklóssy, A. Rich, Vesko Marinov: Breadth-First Search: Some Surprising Results. Artif. Intell. 4(1): 1-27 (1973) | |
| 1971 | ||
| 1 | Laurent Siklóssy, Vesko Marinov: Heuristic Search vs. Exhaustive Search. IJCAI 1971: 601-607 | |
| 1 | A. Rich | [2] |
| 2 | Laurent Siklóssy | [1] [2] |