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/conf/csl/BaazF10.rdf
Matthias Baaz and Christian G. Fermüller: A Resolution Mechanism for Prenex Gödel Logic. (2010) conf/csl/BaazF10 10.1007/978-3-642-15205-4_9 A Resolution Mechanism for Prenex Gödel Logic. 2 Matthias Baaz 1 Christian G. Fermüller 2 67-79 CSL CSL 2010 2010 provenance information for RDF data of dblp record 'conf/csl/BaazF10' 2017-06-02T20:49:36+0200