Вы здесь

Reynolds M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards First-Order Concurrent MetateM 1995 Reynolds M. Lecture Notes in Artificial Intelligence 31.03.1995
СТ Axiomatizing U and S over Integer Time 1994 Reynolds M. Lecture Notes in Artificial Intelligence 11.08.1994

Редактор: