%0 Book Section %1 series/hhl/KamareddineWZB14 %A Kamareddine, Fairouz %A Wells, Joe B. %A Zengler, Christoph %A Barendregt, Henk %B Computational Logic %D 2014 %E Siekmann, Jörg H. %I Elsevier %K dblp %P 343-396 %T Computerising Mathematical Text. %U http://dblp.uni-trier.de/db/series/hhl/hhl9.html#KamareddineWZB14 %V 9 %@ 978-0-444-51624-4

@incollection{series/hhl/KamareddineWZB14, added-at = {2015-06-29T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Wells, Joe B. and Zengler, Christoph and Barendregt, Henk}, biburl = {https://www.bibsonomy.org/bibtex/27cea6f2c2f89fe8e6e428474462f9474/dblp}, booktitle = {Computational Logic}, crossref = {series/hhl/9}, editor = {Siekmann, Jörg H.}, ee = {http://dx.doi.org/10.1016/B978-0-444-51624-4.50008-3}, interhash = {c4507b59bae23f9ebd9301a1ec62996b}, intrahash = {7cea6f2c2f89fe8e6e428474462f9474}, isbn = {978-0-444-51624-4}, keywords = {dblp}, pages = {343-396}, publisher = {Elsevier}, series = {Handbook of the History of Logic}, timestamp = {2015-06-30T11:35:36.000+0200}, title = {Computerising Mathematical Text.}, url = {http://dblp.uni-trier.de/db/series/hhl/hhl9.html#KamareddineWZB14}, volume = 9, year = 2014 }