ML Anthology

Marinov, Vesko

2 publications

IJCAI 1977 Computer Understanding of Mathematical Proofs Vesko Marinov
IJCAI 1971 Heuristic Search vs. Exhaustive Search Laurent Siklóssy, Vesko Marinov