Konstantin Vershinin

According to our database, Konstantin Vershinin authored at least 4 papers between 1978 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

One More Logic with Uncertainty and Resolution Principle for it.

Konstantin Vershinin, Igor Romanenko

Proceedings of the Automated Deduction, 1992

1985

Natural mathematical texts vs. programs.

Tamás Gergely, Konstantin Vershinin

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1983

Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.

Tamás Gergely, Konstantin Vershinin

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1978

Model theoretical investigation of theorem proving methods.

Tamás Gergely, Konstantin Vershinin

Notre Dame J. Formal Log., 1978