Hypothetical Reasoning and Definitional Reflection in Logic Programming

Вы здесь

Автор:

Schroeder-Heister P.

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

Вид:

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

Год:

1990

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

Стр.:

P.327-339.

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

Bibliogr.: p.339

Источник:

Lecture Notes in Artificial Intelligence

Том:

475

Карточка:

В2.11.

Schroeder-Heister P..

Hypothetical Reasoning and Definitional Reflection in Logic Programming// Lecture Notes in Artificial Intelligence-1990.-Vol. 475.-P.327-339.
Bibliogr.: p.339

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

PAP1 306