Some Applications of Gentzen s Proof Theory in Automated Deduction

Вы здесь

Автор:

Beeson M.

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

Вид:

Статья из сборника или журнала

Год:

1990

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

дедукция

теория

пролог

Стр.:

P.101-156.

Реферат:

Несколько применений теории доказательств Гентцена в автоматической дедукции

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

Bibliogr.: p.153-156

Источник:

Lecture Notes in Artificial Intelligence

Том:

475

Карточка:

В2.11.

Beeson M..

Some Applications of Gentzen s Proof Theory in Automated Deduction// Lecture Notes in Artificial Intelligence-1990.-Vol. 475.-P.101-156.
Bibliogr.: p.153-156

Таблица в старой библиотеке:

PAP1 299