Вы здесь
SLWV - A Theorem Prover for Logic Programming
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Стр.:
P.1-23.
Библиография:
Bibliogr.: p.22-23.
Издательство:
Источник:
Том:
660
Карточка:
Б3.21, В2.11.
Pereira L. M., Caires L., Alferes J..
SLWV - A Theorem Prover for Logic Programming: Springer// Lecture Notes in Artificial Intelligence-1992.-Vol. 660.-P.1-23.
Bibliogr.: p.22-23.
Таблица в старой библиотеке:
PAP5 590