Proof-Theoretic Characterisations of Logic Programming

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1989

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

Стр.:

30 p.

Реферат:

Характеристика систем логического программирования.

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

Bibliogr.: p.29-30

Место издания:

Номер:

LFCS 89-77

Карточка:

Б3.21, В2.11.

Andrews J..

Proof-Theoretic Characterisations of Logic Programming-Edinburgh., 1989.-30 p.-(Препринт Univ.Edinburgh №LFCS 89-77).
Bibliogr.: p.29-30

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

PREP1 28