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.dagstuhl.de/rec/phd/dnb/Ghazi15.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - THES ID - DBLP:phd/dnb/Ghazi15 AU - Ghazi, Aboubakr Achraf El TI - Relational Reasoning - Constraint Solving, Deduction, and Program Verification. PY - 2015// UR - http://digbib.ubka.uni-karlsruhe.de/volltexte/1000051022 UR - https://nbn-resolving.org/urn:nbn:de:swb:90-510220 UR - https://d-nb.info/1080246274 ER -