ω-Complete a-spaces (English)
National licence
- New search for: Ershov, Yu. L.
- New search for: Ershov, Yu. L.
In:
Cybernetics
;
18
, 6
;
701-705
;
1982
- Article (Journal) / Electronic Resource
-
Title:ω-Complete a-spaces
-
Contributors:Ershov, Yu. L. ( author )
-
Published in:Cybernetics ; 18, 6 ; 701-705
-
Publisher:
- New search for: Kluwer Academic Publishers-Plenum Publishers
-
Place of publication:New York
-
Publication date:1982-11-01
-
Size:5 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 18, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 695
-
Concepts on formation of the mathematical tools of cybernetics in the works of V. M. GlushkovKapitonova, Yu. V. / Letichevskii, A. A. et al. | 1982
- 701
-
ω-Complete a-spacesErshov, Yu. L. et al. | 1982
- 705
-
Yet another machine experiment in support of Riemann's conjectureMatiyasevich, Yu. V. et al. | 1982
- 708
-
Program synthesisLavrov, S. S. et al. | 1982
- 715
-
Mathematical models and computing algorithms for the flow of a viscous fluidYanenko, N. N. et al. | 1982
- 723
-
Modeling of programs by flow diagrams and construction of diagram transformation systemsPodlovchenko, R. I. et al. | 1982
- 732
-
One language of specificationsBarzdin', Ya. N. / Zarin'sh, A. K. / Kalnin'sh, A. A. et al. | 1982
- 747
-
Some problems of creation of numeric softwareMolchanov, I. N. et al. | 1982
- 754
-
Trends in the development of methods of discrete optimization and their software baseSergienko, I. V. et al. | 1982
- 765
-
Polyhedral aspects of discrete optimizationEmelichev, V. A. / Kovalev, M. M. et al. | 1982
- 777
-
The PRIZ system and propositional calculusVolozh, B. B. / Matskin, M. B. / Mints, G. E. / Tyugu, É. Kh. et al. | 1982
- 788
-
Finite subgroups of the group GL (n,Z)Gudivok, P. M. / Kirilyuk, A. A. / Rud'ko, V. P. / Tsitkin, A. I. et al. | 1982
- 804
-
Application of electronic computers in the theory of substitution groups and its applicationsKaluzhnin, A. A. / Sushchanskii, V. I. / Ustimenko, V. A. et al. | 1982
- 819
-
Use of computers in solving well-known algebra problemsBludov, V. V. / Kokorin, A. I. et al. | 1982
- 829
-
Specification methods and partial construction of theory by computerMart'yanov, V. I. et al. | 1982
- 840
-
Numerical theorem proving by electronic computers and its application in various branches of mathematicsPankov, P. S. / Bayachorova, B. D. / Yugai, S. A. et al. | 1982