| Инд. авторы: | Chubarov D., Voronkov A. |
| Заглавие: | Solving first-order constraints over the monadic class Mechanizing |
| Библ. ссылка: | Chubarov D., Voronkov A. Solving first-order constraints over the monadic class Mechanizing // Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday, LNCS. - 2005. - Vol.2605. - P.132-138. |
| Издано: | 2005 |
| Физ. характеристика: | с.132-138 |