Influences of Mathematical Logic on Compuer Science. Davis, M. In The Universal Turing Machine -- A Half--Century Survey, pages 289--299, 1995.
bibtex   
@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,
}
Downloads: 0