Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах

Вы здесь

Автор:

Замов Н. К.

Количество экземпляров:

Вид:

Автореферат

Год:

1973

Ключевые слова:

вывод

Стр.:

16 с.

Библиография:

Библиогр.: c.14-16

Место защиты:

Казань

Номер специальности:

01.01.06

Карточка:

Замов Н. К..

Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.06.-Казань, 1973.-16 с.
Библиогр.: c.14-16