Опис документа:
| |
Шифр: |
А |
Авт. знак: |
85226 |
Автор: | Замов Наиль Калимович |
Назва: | Посик вывода в исчеслении предикатов и возможности ограничения сложности теромв в выводах |
Від. щодо назв.: |
Автореф... канд. физ.-мат.наук: 01.01.06 |
Відповідальність: |
Замов Наиль Калимович; АН СССР. Мат. ин-т им. В.А.Стеклова (Ленингр. отд-ни) |
Місто: | Казань |
Рік: | 1973 |
Сторінок: | 16л. |
ББК: |
В123 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|