Вы здесь
Berghofer S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Executing Higher Order Logic | 2002 | Berghofer S., Nipkow T. | Lecture Notes in Computer Science | 13.04.2002 | |||
| СТ | Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts | 2001 | Rockl C., Hirschkoff D., Berghofer S. | Lecture Notes in Computer Science | 05.05.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | 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 |