Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
Introduction and using rules of Search System
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Cohen P.F. [1969] Decision procedures for real and p -adic fields Comment. Pure Appl. Math., 22, № 2 , 131-151 70.06.282 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cohen P.F., Jockusch C. G. Jr. [1975] A lattice property of Post’s simple sets Ill. J. Math. 19 , № 3, 450-453 77.04.56 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.