N. K. Zamov

1993
4		Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov: Resolution Methods for the Decision Problem Springer 1993
1990
3		V. J. Mikhailov, N. K. Zamov: Deductive Synthesis of Solutions for Technological Tasks. J. Log. Program. 9(2&3): 195-220 (1990)
1989
2		N. K. Zamov: Maslov's Inverse Method and Decidable Classes. Ann. Pure Appl. Logic 42(2): 165-194 (1989)
1987
1		N. K. Zamov: On a Connection Between the Resolution Method and the Inverse Method. FCT 1987: 501-505

Coauthor Index

1	Christian G. Fermüller	[4]
2	Alexander Leitsch	[4]
3	V. J. Mikhailov	[3]
4	Tanel Tammet	[4]

Colors in the list of coauthors