Vesko Marinov

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

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

Last update Wed May 22 01:34:14 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page