| |
| 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 | |
| 1 | Tamás Gergely | [1] [2] |
| 2 | Igor Romanenko | [3] |