|
Ученые записки Казанского государственного университета, 1970, том 130, книга 3, страницы 54–59
(Mi uzku469)
|
|
|
|
Об усилениях формул исчисления предикатов
Н. К. Замов, В. И. Шаронов
Образец цитирования:
Н. К. Замов, В. И. Шаронов, “Об усилениях формул исчисления предикатов”, Вероятностные методы и кибернетика. VIII, Учен. зап. Казан. ун-та., 130, № 3, Изд-во Казанского ун-та, Казань, 1970, 54–59
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzku469 https://www.mathnet.ru/rus/uzku/v130/i3/p54
|
Статистика просмотров: |
Страница аннотации: | 211 | PDF полного текста: | 70 |
|