|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with A. G. Krasovsky Paper by A.V. Grokh and A.G. Krasovsky "Mixed calculation and verification of symbol manipulation"
Invitation card, 28.02.1983-01.03.1983Abstract, 01.08.1983(?) of the paper "Analysis of meta-language descriptions on the basis of mixed computation"
Note (hand-written), A. G. Krasovsky->A.V. Zamulinto Prof. Zamulin about the Russian variant of the paper already sent to him
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
