Abstract
Note, A.P. Ershov->I.V. Pottosin
List
Working Notes
Decision
List
Notification, A. S. Alekseev->A.P. Ershov
Note
List
Commentary
Reporton the project "Research of algorithmic problems; development of computer-aided logical derivation"
Intermediate report
Informationon the Computing center's scientific, managerial, financial, and personnel activities in 1971-1975
Information
Plan
Letter
Abstract and Paper-02.09.1976
Scheme
Notification, I. E. Rabinovich->A.P. Ershov
Item 40. (Name does not exist in this language.)
1
2
Initial order | In alphabetical order | By date |