Вы здесь
Melham T. F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Some Research Issues in Higher Order Logic Theorem Proving | 1996 | Melham T. F. | Basic Research in Computer Science | 21.01.1997 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Higher Order Logic Theorem Proving and Its Applications: Proc./7th Intern. Workshop. Valletta, Malta, September 1994 | 1994 | Lecture Notes in Computer Science |
|
23.11.1994 |