Skip to main content
documents
about archive
about project
Andrei Ershov
in Russian
Report
Archive
Routine business
Division of Informatics (1971-1976)
1976
Report
Report
on the project "Research of algorithmic problems; development of computer-aided logical derivation"
Authors:
Andrei Petrovich Ershov
V. A. Nepomniaschy
Organizations:
CC SB RAS
Back