Методы машинного поиска доказательств и исчислений предикатов первого порядка

Вы здесь

Автор:

Лялецкий А. В.

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

Вид:

Автореферат

Год:

1982

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

поиск

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

исчисление предикатов

Стр.:

23 с.

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

Библиогр.: c.22-23

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

Киев

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

01.01.09

Карточка:

Лялецкий А. В..

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