Konstantin Vershinin

	1992
3		Konstantin Vershinin, Igor Romanenko: One More Logic with Uncertainty and Resolution Principle for it. CADE 1992: 663-667
	1985
2		Tamás Gergely, Konstantin Vershinin: Natural mathematical texts vs. programs. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 83-100
	1983
1		Tamás Gergely, Konstantin Vershinin: Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. IJCAI 1983: 877-881

Coauthor Index

1	Tamás Gergely	[1] [2]
2	Igor Romanenko	[3]

Colors in the list of coauthors