Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction. Armando, A. & Jebelean, T. Journal of Symbolic Computation, 32(4):303-304, 2001.
Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction. [link]Paper  bibtex   
@article{Armando2001303,
  author = {Armando, Alessandro and Jebelean, Tudor},
  title = {Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction.},
  journal = {Journal of Symbolic Computation},
  year = {2001},
  volume = {32},
  number = {4},
  pages = {303-304},
  url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549},
  affiliation = {DIST, University of Genova, 16145 Genova, Italy; RISC-Linz, 4232 Hagenberg, Austria},
  document_type = {Editorial},
  source = {Scopus}
}

Downloads: 0