Вы здесь
Otten J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Multi-level Approach to Program Synthesis | 1998 | Bibel W., Korn D., Kreitz C., Kurucz F., Otten J., Schmitt S., Stolpmann G. | Lecture Notes in Computer Science | 14.10.1998 | |||
| СТ | Guiding Program Development Systems by a Connection Based Proof Strategy | 1996 | Kreitz C., Otten J., Schmitt S. | Lecture Notes in Computer Science | 30.03.1996 | |||
| СТ | A Connection Based Proof Method for Intuitionistic Logic | 1995 | Otten J., Kreitz C. | Lecture Notes in Artificial Intelligence | 02.06.1995 |