Вы здесь
On Narrowing, Refutation Proofs and Constraints
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Стр.:
P.56-70.
Библиография:
Bibliogr.: p.69-70.
Издательство:
Источник:
Том:
914
Карточка:
В2.11, Б2.13.
Nieuwenhuis R..
On Narrowing, Refutation Proofs and Constraints: Springer// Lecture Notes in Computer Science-1995.-Vol. 914.-P.56-70.
Bibliogr.: p.69-70.
Таблица в старой библиотеке:
PAP11 432