Вы здесь

Kalinina N. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model Checking: Knowledge, Actions and Fixpoints 2004 Shilov N. V., Garanina N. O., Kalinina N. A. Humboldt Univ. Berlin Concurrency, Specification and Programming - CS&P 2004 01.09.2006
СТ The Main Transformations Problems in the Fabula System 1998 Kalinina N. A., Hegay G. E. ИНПРИМ-98 26.06.1998
СТ The FABULA System: The Transformation and Optimization Problems in Boolean Algebras 1995 Nechepurenko M. I., Kalinina N. A., Klimov V. A. Intern. Conf. AMCA-95: Advanced Mathematics, Computations and Applications. Abstracts Kos-Z 04.07.1995