V. J. Mikhailov

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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]