DBLP BibTeX Record 'journals/amai/Greenberg00'

@article{DBLP:journals/amai/Greenberg00,
  author    = {Harvey J. Greenberg},
  title     = {A prospective on mathematics and artificial intelligence:
               Problem solving=Modeling+Theorem proving},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {28},
  number    = {1-4},
  year      = {2000},
  pages     = {17-20},
  ee        = {http://dx.doi.org/10.1023/A:1018935718357},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}