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.org/rec/conf/cade/MaricJ04.rdf
Filip Maric and Predrag Janicic: argo-lib: A Generic Platform for Decision Procedures. (2004) conf/cade/MaricJ04 10.1007/978-3-540-25984-8_13 argo-lib: A Generic Platform for Decision Procedures. 2 Filip Maric 1 Predrag Janicic 2 213-217 IJCAR IJCAR 2004 2004 provenance information for RDF data of dblp record 'conf/cade/MaricJ04' 2017-05-21T00:17:16+0200