Вы здесь

Isabelle/HOL: A Proof Assistant for Higner-Order Logic

Количество экземпляров: 
1
Вид: 
Монография
Год: 
2002
Ключевые слова: 
Стр.: 
218 p.
Библиография: 
Bibliogr.: p.209-211
Место издания: 
Издательство: 
Том: 
2283
Карточка: 

В2.1, Б2.13, Б2.14, Б2.23.

Nipkow T., Paulson L. C., Wenzel M..

Isabelle/HOL: A Proof Assistant for Higner-Order Logic-Berlin, Heidelberg.: Springer, 2002.-Vol. 2283.-218 p.-(Lecture Notes in Computer Science).
Bibliogr.: p.209-211

Таблица в старой библиотеке: 
MONO4 2