Konstantin Vershinin
According to our database1,
Konstantin Vershinin
authored at least 4 papers
between 1978 and 1992.
Collaborative distances:
Collaborative distances:
Timeline
1978
1980
1982
1984
1986
1988
1990
1992
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1992
Proceedings of the Automated Deduction, 1992
1985
Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985
1983
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
1978
Notre Dame J. Formal Log., 1978