Provability logic with operations on proofs - статья | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Provability logic with operations on proofsстатья

Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.

Автор: Sidon T.
Сборник: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
Редактор: Адян Сергей Иванович
Серия: Lecture Notes in Computer Science
Том: 1234
Год издания: 1997
Место издания: Springer-Verlag Berlin
Первая страница: 342
Последняя страница: 353
DOI: 10.1007/3-540-63045-7_35
Добавил в систему: Яворская Татьяна Леонидовна