Вы здесь
Gunter E. L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Path Exploration Tool | 1999 | Gunter E. L., Peled D. | Lecture Notes in Computer Science | 08.04.1999 | |||
| СТ | Interfacing HOL90 with a Functional Database Query Language | 1995 | Gunter E. L., Libkin L. | Lecture Notes in Computer Science | Higher Order Logic Theorem Proving and Its Applications | 28.09.1995 | ||
| СТ | A Broader Class of Trees for Recursive Type Definitions for HOL | 1994 | Gunter E. L. | Lecture Notes in Computer Science | 18.06.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Theorem Proving in Higher Order Logics: Proc./10th Intern. Conf., TPHOLs 97. Murray Hill, NJ, USA, August 1997 | 1997 | Lecture Notes in Computer Science |
|
28.08.1997 |