Digitised Mathematics: Computerisation vs. Formalization
F. Kamareddine; M. Maarek; K. Retel; J.B. Wells
Review of the National Center for Digitization (2007)
- Issue: 10, page 1-8
- ISSN: 1820-0109
Access Full Article
top
How to cite
topF. Kamareddine, et al. "Digitised Mathematics: Computerisation vs. Formalization." Review of the National Center for Digitization (2007): 1-8. <http://eudml.org/doc/253816>.
@article{F2007,
author = {F. Kamareddine, M. Maarek, K. Retel, J.B. Wells},
journal = {Review of the National Center for Digitization},
language = {eng},
number = {10},
pages = {1-8},
publisher = {Faculty of Mathematics},
title = {Digitised Mathematics: Computerisation vs. Formalization},
url = {http://eudml.org/doc/253816},
year = {2007},
}
TY - JOUR
AU - F. Kamareddine
AU - M. Maarek
AU - K. Retel
AU - J.B. Wells
TI - Digitised Mathematics: Computerisation vs. Formalization
JO - Review of the National Center for Digitization
PY - 2007
PB - Faculty of Mathematics
IS - 10
SP - 1
EP - 8
LA - eng
UR - http://eudml.org/doc/253816
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.