@inproceedings{Davis1995,
  crossref  = {Herken1995},
  author    = {Martin Davis},
  title     = {{Influences of Mathematical Logic on Compuer Science}},
  booktitle = {{The Universal Turing Machine -- A Half--Century
              Survey}},
  pages     = {289--299},
  year      = 1995,
}

{"_id":"SFiW5HGGyQBtXrfAQ","bibbaseid":"davis-influencesofmathematicallogiconcompuerscience-1995","downloads":0,"creationDate":"2017-12-10T11:20:54.587Z","title":"Influences of Mathematical Logic on Compuer Science","author_short":["Davis, M."],"year":1995,"bibtype":"inproceedings","biburl":"http://ddi.uni-wuppertal.de/forschung/Komplett.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","crossref":"Herken1995","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Davis"],"suffixes":[]}],"title":"Influences of Mathematical Logic on Compuer Science","booktitle":"The Universal Turing Machine -- A Half--Century Survey","pages":"289--299","year":"1995","bibtex":"@inproceedings{Davis1995,\n crossref = {Herken1995},\n author = {Martin Davis},\n title = {{Influences of Mathematical Logic on Compuer Science}},\n booktitle = {{The Universal Turing Machine -- A Half--Century\n Survey}},\n pages = {289--299},\n year = 1995,\n}\n\n","author_short":["Davis, M."],"key":"Davis1995","id":"Davis1995","bibbaseid":"davis-influencesofmathematicallogiconcompuerscience-1995","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["influences","mathematical","logic","compuer","science","davis"],"keywords":[],"authorIDs":[],"dataSources":["6BepyHGwnjChmJuia"]}