%0 Book Section %1 series/hhl/Davis14 %A Davis, Martin %B Computational Logic %D 2014 %E Siekmann, Jörg H. %I Elsevier %K dblp %P 31-38 %T Logic and the development of the computer. %U http://dblp.uni-trier.de/db/series/hhl/hhl9.html#Davis14 %V 9 %@ 978-0-444-51624-4

@incollection{series/hhl/Davis14, added-at = {2015-06-29T00:00:00.000+0200}, author = {Davis, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2c78f21641373894030e5bbbcd8866b7b/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.50002-2}, interhash = {9ce03f826ba62a36b16ea752fae4316d}, intrahash = {c78f21641373894030e5bbbcd8866b7b}, isbn = {978-0-444-51624-4}, keywords = {dblp}, pages = {31-38}, publisher = {Elsevier}, series = {Handbook of the History of Logic}, timestamp = {2015-06-30T11:35:36.000+0200}, title = {Logic and the development of the computer.}, url = {http://dblp.uni-trier.de/db/series/hhl/hhl9.html#Davis14}, volume = 9, year = 2014 }