Вы здесь
A Natural Deduction treatment of Operational Semantics
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1990
Ключевые слова:
Стр.:
20 p.
Реферат:
Описание операционной семантики методом естественной дедукции.
Библиография:
Bibliogr.: p.20
Место издания:
Номер:
LFCS 88-69
Карточка:
Б2.24.
Burstall R., Honsell F..
A Natural Deduction treatment of Operational Semantics-Edinburgh., 1990.-20 p.-(Препринт Univ.Edinburgh №LFCS 88-69).
Bibliogr.: p.20
Таблица в старой библиотеке:
PREP1 29