Инд. авторы:	Chubarov D.L.
Заглавие:	Hilbert bases for verification of infinite state systems and for solving constraints
Библ. ссылка:	Chubarov D.L. Hilbert bases for verification of infinite state systems and for solving constraints // Student Scientific Conference of Manchester University, 2001. - P.1.
Издано:	2001
Физ. характеристика:	с.1