%0 Conference Paper %1 conf/icica/XiaKLLZZ11 %A Xia, GuoKun %A Kong, LinTao %A Liu, YinLi %A Liao, Jia %A Zhang, RuiHai %A Zhu, YingJie %B ICICA (1) %D 2011 %E Liu, Chunfeng %E Chang, Jincai %E Yang, Aimin %I Springer %K dblp %P 695-702 %T Study on the Theorem Proving of Plance Pencil Equation. %U http://dblp.uni-trier.de/db/conf/icica/icica2011-1.html#XiaKLLZZ11 %V 243 %@ 978-3-642-27502-9

@inproceedings{conf/icica/XiaKLLZZ11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Xia, GuoKun and Kong, LinTao and Liu, YinLi and Liao, Jia and Zhang, RuiHai and Zhu, YingJie}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24008acec888ad624f55ddfc08f8098fc/dblp}, booktitle = {ICICA (1)}, crossref = {conf/icica/2011-1}, editor = {Liu, Chunfeng and Chang, Jincai and Yang, Aimin}, ee = {https://doi.org/10.1007/978-3-642-27503-6_95}, interhash = {15062a052991d762b39a3b4f7964b586}, intrahash = {4008acec888ad624f55ddfc08f8098fc}, isbn = {978-3-642-27502-9}, keywords = {dblp}, pages = {695-702}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2019-09-27T15:15:01.000+0200}, title = {Study on the Theorem Proving of Plance Pencil Equation.}, url = {http://dblp.uni-trier.de/db/conf/icica/icica2011-1.html#XiaKLLZZ11}, volume = 243, year = 2011 }