Vesko Marinov

2 papers in the IJCAI proceedings

IJCAI 1977

Computer Understanding of Mathematical Proofs

Details PDF

IJCAI 1971

Heuristic Search vs. Exhaustive Search

with Laurent Siklóssy

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings