Vesko Marinov

Publication Activity (10 Years)

Years Active: 1971-1977
Publications (10 Years): 0

Publications

Vesko Marinov
Computer Understanding of Mathematical Proofs. IJCAI (1977)
Laurent Siklóssy, A. Rich, Vesko Marinov
Breadth-First Search: Some Surprising Results. Artif. Intell. 4 (1) (1973)
Laurent Siklóssy, Vesko Marinov
Heuristic Search vs. Exhaustive Search. IJCAI (1971)