Documents associated with Seiki Akama

Cover, 31.05.1985-09.08.1985
Covering letter, S. Akama->A.P. Ershov, 22.05.1985
Article, 22.05.1985
"Logic programming as constructive logic with strong negation".
Letter, A.P. Ershov->S. Akama, 08.08.1985
Letter, A.P. Ershov->N. N. Nepeivoda, 09.08.1985
Review, N. N. Nepeivoda ->A.P. Ershov, 29.08.1985
Letter with attachment, A.P. Ershov->S. Akama, 05.09.1985

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