Вы здесь
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.247-261.
Библиография:
Bibliogr.: p.260-261.
Источник:
Том:
915
Карточка:
Б2.14, Б2.24.
Hofmann M., Sannella D..
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic// Lecture Notes in Computer Science-1995.-Vol. 915.-P.247-261.
Bibliogr.: p.260-261.
Таблица в старой библиотеке:
PAP11 884