Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Fitting M. ...
Fitting M. [1987] Computability theory, semantics and logic programming Oxford Univ. Press ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на F
F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. FriedmanHM FriedmanSyD Fröhlich A. Frolov A. Füredi Z. Fukuyama M. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.