Вы здесь

Valiev M. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs 1999 Dekhtyar M. I., Dikovsky A. J., Valiev M. K. Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. 02.07.1999