dblp.uni-trier.dewww.uni-trier.de

Vesko Marinov Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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

Coauthor Index

1A. Rich [2]
2Laurent Siklóssy [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)