Konstantin Vershinin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Tamás Gergely, Konstantin Vershinin: Natural mathematical texts vs. programs. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 83-100

1 Tamás Gergely, Konstantin Vershinin: Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. IJCAI 1983: 877-881

Selection of 2 from 3 records - Konstantin Vershinin has 2 coauthors

2		Tamás Gergely, Konstantin Vershinin: Natural mathematical texts vs. programs. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 83-100
1		Tamás Gergely, Konstantin Vershinin: Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. IJCAI 1983: 877-881