Completeness Proofs for Logic Programming

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1988

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

Стр.:

38 p.

Реферат:

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

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

Bibliogr.: p.38

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

Карточка:

Б3.21, Б2.1, В2.11.

Siefkes D., Hofbauer D., Kutsche R..

Completeness Proofs for Logic Programming-Berlin., 1988.-38 p.
Bibliogr.: p.38

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

PREP1 59