Вы здесь

Logic of Predicates with Explicit Substitutions

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Ключевые слова: 
Стр.: 
P.192-205
Библиография: 
Bibliogr.: p.204
Место издания: 
Том: 
1113
Карточка: 

Б2.13.

Bednarczyk M. A..

Logic of Predicates with Explicit Substitutions-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1996, 1996.-Vol. 1113.-P.192-205-(Lecture Notes in Computer Science).
Bibliogr.: p.204

Таблица в старой библиотеке: 
PAP15 466