Вы здесь

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