Вы здесь
Wenzel M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
М | Isabelle/HOL: A Proof Assistant for Higner-Order Logic | 2002 | Nipkow T., Paulson L. C., Wenzel M. | Lecture Notes in Computer Science | 23.05.2002 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009 | 2009 | Lecture Notes in Computer Science |
|
03.02.2010 |