Вы здесь
Mcguire H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Annotation-Based Deduction in Temporal Logic | 1994 | Mcguire H., Manna Z., Waldinger R. | Lecture Notes in Artificial Intelligence | 12.08.1994 | |||
| СТ | A Decision Algorithm for Full Propositional Temporal Logic | 1993 | Kesten Y., Manna Z., Mcguire H., Pnueli A. | Lecture Notes in Computer Science | 20.08.1993 |