Вы здесь

Higher-Order Logic and Theorem Proving for Structured Specifications

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.401-418
Библиография: 
Bibliogr.: p.416-417
Издательство: 
Том: 
1827
Карточка: 

Б2.13, Б2.24.

Borzyszkowski T..

Higher-Order Logic and Theorem Proving for Structured Specifications: Springer// Lecture Notes in Computer Science-2000.-Vol. 1827.-P.401-418
Bibliogr.: p.416-417

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