Вы здесь

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Ключевые слова: 
Стр.: 
P.61-77
Библиография: 
Bibliogr.: p.76-77
Том: 
2024
Карточка: 

Б2.24, Б3.1, Б3.21.

Polakow J., Yi K..

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework// Lecture Notes in Computer Science-2001.-Vol. 2024.-P.61-77
Bibliogr.: p.76-77

Таблица в старой библиотеке: 
PAP22 823