Вы здесь

Reinds R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Temporal Preconditions of Recursive Procedures 1993 Hesselink W. H., Reinds R. Lecture Notes in Computer Science 11.06.1993