V. J. Mikhailov

	1990
2		V. J. Mikhailov, N. K. Zamov: Deductive Synthesis of Solutions for Technological Tasks. J. Log. Program. 9(2&3): 195-220 (1990)
	1987
1		V. J. Mikhailov: A Solving of Problems on Technological Models. FCT 1987: 314-317

Coauthor Index

1

N. K. Zamov

[2]