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/journals/afp/Lammich13.rdf
Peter Lammich: Automatic Data Refinement. (2013) journals/afp/Lammich13 Automatic Data Refinement. 1 Peter Lammich 1 Arch. Formal Proofs Arch. Formal Proofs 2013 2013 provenance information for RDF data of dblp record 'journals/afp/Lammich13' 2020-05-25T09:13:17+0200