Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union Conference
Abstracts
Abstract
Abstract
V.B. Novoseltsev, A.L. Shamis (Tomsk) "Logical means of nondeterministic algorithms synthesis"

Original document language: Russian

Images of pages:
1


Back
Next document 
Previous document (Abstract)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016