Vesko Marinov

According to our database¹, Vesko Marinov authored at least 3 papers between 1971 and 1977.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1977

Computer Understanding of Mathematical Proofs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1973

Breadth-First Search: Some Surprising Results.

[BibT_eX]

[DOI]

Artif. Intell., 1973

1971

Heuristic Search vs. Exhaustive Search.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971