%0 Conference Paper %1 conf/cade/WalshNB92 %A Walsh, Toby %A Nunes, Alex %A Bundy, Alan %B CADE %D 1992 %E Kapur, Deepak %I Springer %K dblp %P 325-339 %T The Use of Proof Plans to Sum Series. %U http://dblp.uni-trier.de/db/conf/cade/cade92.html#WalshNB92 %V 607 %@ 3-540-55602-8

@inproceedings{conf/cade/WalshNB92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Walsh, Toby and Nunes, Alex and Bundy, Alan}, biburl = {https://www.bibsonomy.org/bibtex/20bf423c0378598a6fad0f995beccc9b7/dblp}, booktitle = {CADE}, crossref = {conf/cade/1992}, editor = {Kapur, Deepak}, ee = {https://doi.org/10.1007/3-540-55602-8_175}, interhash = {8786a963ee264d1a99ad928c728d5a03}, intrahash = {0bf423c0378598a6fad0f995beccc9b7}, isbn = {3-540-55602-8}, keywords = {dblp}, pages = {325-339}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:30.000+0200}, title = {The Use of Proof Plans to Sum Series.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade92.html#WalshNB92}, volume = 607, year = 1992 }