Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors. Armando, A. & Jebelean, T. Journal of Symbolic Computation, 32(4):303-304, 2001.
Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors [link]Paper  doi  bibtex   
@ARTICLE{Armando2001303,
author={Armando, A., Jebelean, T.},
title={Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors},
journal={Journal of Symbolic Computation},
year={2001},
volume={32},
number={4},
pages={303-304},
doi={10.1006/jsco.2001.0467},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549},
document_type={Editorial},
source={Scopus},
}

Downloads: 0