Вы здесь

Abstract Interpretation Basedd Semantics of Sequent Calculy

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.38-57
Библиография: 
Bibliogr.: p.56-57
Место издания: 
Издательство: 
Том: 
1824
Карточка: 

Б2.24.

Amato G., Levi G..

Abstract Interpretation Basedd Semantics of Sequent Calculy-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2000.-Vol. 1824.-P.38-57-(Lecture Notes in Computer Science).
Bibliogr.: p.56-57

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