Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/cav/BrainNPRBT19
%A Brain, Martin
%A Niemetz, Aina
%A Preiner, Mathias
%A Reynolds, Andrew
%A Barrett, Clark W.
%A Tinelli, Cesare
%B CAV (2)
%D 2019
%E Dillig, Isil
%E Tasiran, Serdar
%I Springer
%K dblp
%P 116-136
%T Invertibility Conditions for Floating-Point Formulas.
%U http://dblp.uni-trier.de/db/conf/cav/cav2019-2.html#BrainNPRBT19
%V 11562
%@ 978-3-030-25543-5
@inproceedings{conf/cav/BrainNPRBT19,
added-at = {2021-07-27T00:00:00.000+0200},
author = {Brain, Martin and Niemetz, Aina and Preiner, Mathias and Reynolds, Andrew and Barrett, Clark W. and Tinelli, Cesare},
biburl = {https://www.bibsonomy.org/bibtex/252aa2bb05203936d215a515a274857e9/dblp},
booktitle = {CAV (2)},
crossref = {conf/cav/2019-2},
editor = {Dillig, Isil and Tasiran, Serdar},
ee = {https://doi.org/10.1007/978-3-030-25543-5_8},
interhash = {bfb287271da0fa0914182c12b4b4e6b3},
intrahash = {52aa2bb05203936d215a515a274857e9},
isbn = {978-3-030-25543-5},
keywords = {dblp},
pages = {116-136},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T03:53:45.000+0200},
title = {Invertibility Conditions for Floating-Point Formulas.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-2.html#BrainNPRBT19},
volume = 11562,
year = 2019
}