| Инд. авторы: | 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 // Proceedings of the Manchester University Student Simposium, 2001. - P.1. |
| Издано: | 2001 |
| Физ. характеристика: | с.1 |