| Инд. авторы: | Kovalyov S.P. |
| Заглавие: | Model-theoretic methods of analysis of computer arithmetic |
| Библ. ссылка: | Kovalyov S.P. Model-theoretic methods of analysis of computer arithmetic // Abstracts of 9th Asian Logic Conference. Novosibirsk, 2005. - P.86-88. |
| Издано: | Novosibirsk: , 2005 |
| Физ. характеристика: | с.86-88 |