Инд. авторы:	Kovalyov S.P.
Заглавие:	Model-theoretic methods of analysis of computer arithmetic
Библ. ссылка:	Kovalyov S.P. Model-theoretic methods of analysis of computer arithmetic // Proceeding 9th Asian Logic Conference: Proceedings. Singapore: World Scientific Publishing Co, 2006, 2006. - P.145-155.
Издано:	Singapore: World Scientific Publishing Co, 2006
Физ. характеристика:	с.145-155
Конференция:	Название: 9th Asian Logic Conference Город: Новосибирск Страна: Россия Даты проведения: 2005-08-16 - 2005-08-19