System for processing mathematical texts YV Kapitonova, KP Vershinin, AI Degtyarev, AP Zhezherun, AV Lyaletskii Cybernetics 15 (2), 209-210, 1979 | 12 | 1979 |
Decidability of the unification problem for second-order languages with unary functional symbols AP Zhezherun Cybernetics 15 (5), 735-741, 1979 | 10 | 1979 |
Deductive tools of a mathematical text processing system AI Degtyarev, AP Zhezherun, AV Lyaletski Kibernetika,(5), 105-108, 1978 | 7 | 1978 |
Structural processing of mathematical texts VV Atayan, KP Vershinin, AP Zhezherun Raspoznavaniye obrazov. Institute of Cybernetics, Kiev, 43-54, 1978 | 5 | 1978 |
Data representation in a system for processing of mathematical texts KP Vershinin, AP Zhezherun Issues of the Construction and Application of Mathematical Methods and …, 1979 | 2 | 1979 |
Implementation of dynamic syntax tools for mathematical text processing systems AP Zhezherun All-union Symposium on Artificial Intelligence and Automatization of …, 1978 | 2 | 1978 |
Certain deductive means in a system of processing mathematical texts AI Degtyarev, AP Zhezherun, AV Lyaletskii Cybernetics 14 (5), 755-757, 1978 | 1 | 1978 |