Вы здесь

Nonstandard Logics of Recursive Programs and Denotational Semantics

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1988
Стр.: 
P.255-278
Библиография: 
Bibliogr.: p.273-278
Место издания: 
Где проводился: 
Издательство: 
Том: 
49
Форум: 
Карточка: 

Б2.24, Б2.14.

Pazstor A..

Nonstandard Logics of Recursive Programs and Denotational Semantics-Berlin.: Akademie-Verlag// Algebraic and Logic Programming, 1988.-Vol. 49.-P.255-278-(Mathematical Research).
Bibliogr.: p.273-278

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