Вы здесь

Extending Horn Clause Logic With Implication Goals

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.43-74.
Библиография: 
Bibliogr.: p.74.
Источник: 
Номер: 
1
Том: 
95
Карточка: 

Б2.14.

Giordano L., Martelli A., Rossi G..

Extending Horn Clause Logic With Implication Goals// Theoretical Computer Science-1992, №1.-Vol. 95.-P.43-74.
Bibliogr.: p.74.

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