documents
about archive
about project
Andrei Ershov
in Russian
Documents associated with Shmuel Katz
Abstract of the paper, 15.07.1974
"Logical Analysis of Programs".
Initial order |
In alphabetical order
|
By date
Back
Switch to Russian
|
Search
|
Advanced search
|
Folders
|
Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016
