Вы здесь

Areces C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Road-Map on Complexity for Hybrid Logics 1999 Areces C., Blackburn P., Marx M. Lecture Notes in Computer Science 12.11.1999