iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/afp/SimicMB19.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/afp/SimicMB19 AU - Simic, Danijela AU - Maric, Filip AU - Boutry, Pierre TI - Poincaré Disc Model. JO - Arch. Formal Proofs VL - 2019 PY - 2019// UR - https://www.isa-afp.org/entries/Poincare_Disc.html ER -