%0 Conference Paper %1 conf/mkm/CairnsG03 %A Cairns, Paul A. %A Gow, Jeremy %B MKM %D 2003 %E Asperti, Andrea %E Buchberger, Bruno %E Davenport, James H. %I Springer %K dblp %P 175-187 %T A Theoretical Analysis of Hierarchical Proofs. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2003.html#CairnsG03 %V 2594 %@ 3-540-00568-4

@inproceedings{conf/mkm/CairnsG03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Cairns, Paul A. and Gow, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/23cdde2a00c734305edafaf149e310460/dblp}, booktitle = {MKM}, crossref = {conf/mkm/2003}, editor = {Asperti, Andrea and Buchberger, Bruno and Davenport, James H.}, ee = {https://doi.org/10.1007/3-540-36469-2_14}, interhash = {e17e23ece18c9eaaaafa6270a6144098}, intrahash = {3cdde2a00c734305edafaf149e310460}, isbn = {3-540-00568-4}, keywords = {dblp}, pages = {175-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:17:51.000+0200}, title = {A Theoretical Analysis of Hierarchical Proofs.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2003.html#CairnsG03}, volume = 2594, year = 2003 }