Logic Programming with Sequent Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1990

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

логический

программирование

последовательный

параллельный

Стр.:

P.1-30.

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

Bibliogr.: p.30

Источник:

Lecture Notes in Artificial Intelligence

Том:

475

Карточка:

В2.11.

Andreoli J., Pareschi R..

Logic Programming with Sequent Systems// Lecture Notes in Artificial Intelligence-1990.-Vol. 475.-P.1-30.
Bibliogr.: p.30

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

PAP1 296