Higher-Order Horn Logic Programming

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.289-303

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

Bibliogr.: p.303

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

Издательство:

Источник:

Карточка:

Б2.13, Б3.21.

Wadge W. W..

Higher-Order Horn Logic Programming-Cambridge.: The MIT Press// Logic Programming: Proc./1991 Intern. Symp., 1991.-P.289-303
Bibliogr.: p.303

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

LOG1 329