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/journals/jar/CoelhoP86.rdf
Helder Coelho and Luís Moniz Pereira: Automated Reasoning in Geometry Theorem Proving with Prolog. (1986) journals/jar/CoelhoP86 10.1007/BF00248249 Q62039022 Automated Reasoning in Geometry Theorem Proving with Prolog. 2 Helder Coelho 1 Luís Moniz Pereira 2 329-390 J. Autom. Reason. J. Autom. Reason. 2 4 1986 provenance information for RDF data of dblp record 'journals/jar/CoelhoP86' 2020-09-02T13:29:52+0200