Вы здесь
Waldinger R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| М | The Logical Basis for Computer Programming | 1985 | Manna Z., Waldinger R. | 30.01.1987 | ||||
| СТ | Annotation-Based Deduction in Temporal Logic | 1994 | Mcguire H., Manna Z., Waldinger R. | Lecture Notes in Artificial Intelligence | 12.08.1994 | |||
| СТ | Program Synthesis for Multi-agent Question Answering | 2003 | Waldinger R., Jarvis P., Dungan J. | Lecture Notes in Computer Science | 26.03.2004 |