%0 Journal Article %1 journals/ai/MatsuyamaN95 %A Matsuyama, Takashi %A Nitta, Tomoaki %D 1995 %J Artif. Intell. %K dblp %N 1 %P 93-113 %T Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning. %U http://dblp.uni-trier.de/db/journals/ai/ai75.html#MatsuyamaN95 %V 75

@article{journals/ai/MatsuyamaN95, added-at = {2003-11-19T00:00:00.000+0100}, author = {Matsuyama, Takashi and Nitta, Tomoaki}, biburl = {https://www.bibsonomy.org/bibtex/25154bceb1432162804f78c15f72115b0/dblp}, date = {2003-11-19}, description = {dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(94)00064-8}, interhash = {12a3e72ff0569373ac8dbf7f113d3090}, intrahash = {5154bceb1432162804f78c15f72115b0}, journal = {Artif. Intell.}, keywords = {dblp}, number = 1, pages = {93-113}, timestamp = {2003-11-19T00:00:00.000+0100}, title = {Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai75.html#MatsuyamaN95}, volume = 75, year = 1995 }