Вы здесь
On mechanizing proofs within a complete proof system for Unity
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.400-415
Библиография:
Bibliogr.: p.415
Место издания:
Издательство:
Том:
936
Карточка:
Б2.23.
Brown N., Mokkedem A..
On mechanizing proofs within a complete proof system for Unity-Berlin, Heidelberg.: Springer// Algebraic Methodology and Software Technology, 1995.-Vol. 936.-P.400-415-(Lecture Notes in Computer Science).
Bibliogr.: p.415
Таблица в старой библиотеке:
PAP12 776