Методы и средства обращения с равенством в машинном доказательстве теорем

Вы здесь

Автор:

Дегтярев А. И.

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

Вид:

Автореферат

Год:

1982

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

равенство

машинный

доказательство теорем

Стр.:

24 с.

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

Библиогр.: c.24

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

Киев

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

01.01.09

Карточка:

Дегтярев А. И..

Методы и средства обращения с равенством в машинном доказательстве теорем: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.09.-Киев, 1982.-24 с.
Библиогр.: c.24