| Инд. авторы: | Shary S.P. |
| Заглавие: | Quantifier solutions to interval systems of linear algebraic equations |
| Библ. ссылка: | Shary S.P. Quantifier solutions to interval systems of linear algebraic equations // X Workshop “Program Semantics, Specification and Verification: Theory and Applications”, PSSV-2019 (Novosibirsk, Russia, 01.07-02.07.2019): Abstracts / Edited by V. Zakharov, N. Shilov, I. Anureev. - 2019. - Novosibirsk: NSU. - P.26. - ISBN: 978-5-4437-0918-5. |
| Внешние системы: | РИНЦ: 41249624; |
| Издано: | 2019 |
| Физ. характеристика: | с.26 |
| Конференция: | Название: X Workshop Program Semantics, Specification and Verification: Theory and Applications Аббревиатура: PSSV-2019 Город: Novosibirsk Страна: Russia Даты проведения: 2019-07-01 - 2019-07-02 |