%0 Conference Paper %1 conf/scai/YuanZW95 %A Yuan, Xiaohong %A Zhao, Kai %A Wang, Jue %B SCAI %D 1995 %E Aamodt, Agnar %E Komorowski, Jan %I IOS Press %K dblp %P 478-482 %T Visualization in Mechanical Geometry Theorem Proving. %U http://dblp.uni-trier.de/db/conf/scai/scai1995.html#YuanZW95 %V 28 %@ 90-5199-221-1

@inproceedings{conf/scai/YuanZW95, added-at = {2019-08-01T00:00:00.000+0200}, author = {Yuan, Xiaohong and Zhao, Kai and Wang, Jue}, biburl = {https://www.bibsonomy.org/bibtex/2ab54b5dd9597b92443d07ab5c94e5cfb/dblp}, booktitle = {SCAI}, crossref = {conf/scai/1995}, editor = {Aamodt, Agnar and Komorowski, Jan}, interhash = {19b86864cf0c931de6442e87b2b7f54b}, intrahash = {ab54b5dd9597b92443d07ab5c94e5cfb}, isbn = {90-5199-221-1}, keywords = {dblp}, pages = {478-482}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2019-08-02T11:36:26.000+0200}, title = {Visualization in Mechanical Geometry Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/scai/scai1995.html#YuanZW95}, volume = 28, year = 1995 }