From Paramodulation to Narrowing

Вы здесь

Автор:

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

Вид:

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

Год:

1988

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

Стр.:

P.327-342

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

Bibliogr.: p.340-342

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

Источник:

Том:

Карточка:

Б2.14, Б2.34.

Holldobler S..

From Paramodulation to Narrowing-Cambridge.// Logic Programming: Proc./Fifth Intern. Conf. and Symp., 1988.-Vol. 1.-P.327-342
Bibliogr.: p.340-342

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

LOG1 119