Вы здесь

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.147-180.
Библиография: 
Bibliogr.: p.176-177.
Источник: 
Номер: 
2
Том: 
30
Карточка: 

Б2.3, Б2.24.

Navarro M., Orejas F., Remy J. -L..

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications// Acta Informatica-1993, №2.-Vol. 30.-P.147-180.
Bibliogr.: p.176-177.

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