Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

частичный

корректность

логический

программа

Стр.:

P.161-174

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

Bibliogr.: p.172-174

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

Источник:

Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming

Карточка:

Б3.14, Б3.21.

Ferrand G., Deransart P..

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.161-174
Bibliogr.: p.172-174

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

LOG1 268