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/mkm/GransdenWR14.rdf
Thomas Gransden et al.: Mining State-Based Models from Proof Corpora. (2014) conf/mkm/GransdenWR14 10.1007/978-3-319-08434-3_21 Mining State-Based Models from Proof Corpora. 3 Thomas Gransden 1 Neil Walkinshaw 2 Rajeev Raman 3 282-297 CICM CICM 2014 2014 provenance information for RDF data of dblp record 'conf/mkm/GransdenWR14' 2023-06-26T20:49:05+0200