Вы здесь

Mcguire H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Annotation-Based Deduction in Temporal Logic 1994 Mcguire H., Manna Z., Waldinger R. Lecture Notes in Artificial Intelligence 12.08.1994