%0 Conference Paper %1 conf/tase/ZhangLH019 %A Zhang, Xiyue %A Li, Yi %A Hong, Weijiang %A Sun, Meng %B TASE %D 2019 %E Méry, Dominique %E Qin, Shengchao %I IEEE %K dblp %P 107-112 %T Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. %U http://dblp.uni-trier.de/db/conf/tase/tase2019.html#ZhangLH019 %@ 978-1-7281-3342-3

@inproceedings{conf/tase/ZhangLH019, added-at = {2021-10-14T00:00:00.000+0200}, author = {Zhang, Xiyue and Li, Yi and Hong, Weijiang and Sun, Meng}, biburl = {https://www.bibsonomy.org/bibtex/248b4121cde66336b421917419b56061b/dblp}, booktitle = {TASE}, crossref = {conf/tase/2019}, editor = {Méry, Dominique and Qin, Shengchao}, ee = {https://doi.org/10.1109/TASE.2019.00-12}, interhash = {56095822a582d022a3ee9de9ffd4b093}, intrahash = {48b4121cde66336b421917419b56061b}, isbn = {978-1-7281-3342-3}, keywords = {dblp}, pages = {107-112}, publisher = {IEEE}, timestamp = {2024-04-10T10:20:00.000+0200}, title = {Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2019.html#ZhangLH019}, year = 2019 }