National Library of Belarus :: Национальная Библиотека РБ

result_checkbox_label
1

Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Владимир Александрович. - Санкт-Петербург, 2017. - 16, [1] с.

by Павлов, В. А.
“...27.03.55 6 rugasnti...”

Thesis abstracts

Save to List

Saved in:
result_checkbox_label
2

Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев. - Новосибирск : Издательство СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40)

by Ершов, Ю. Л. (род. 1940)
“...27.03.55 rugasnti 6...”

Books

Save to List

Saved in: