%0 Conference Paper %1 conf/synasc/Kamareddine07 %A Kamareddine, Fairouz %B SYNASC %D 2007 %E Negru, Viorel %E Jebelean, Tudor %E Petcu, Dana %E Zaharie, Daniela %I IEEE Computer Society %K dblp %P 3 %T The Gradual Computerisation of Mathematics in MathLang. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2007.html#Kamareddine07 %@ 978-0-7695-3078-9

@inproceedings{conf/synasc/Kamareddine07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/2e1078e95549e8a4b8be18a9df396c1cb/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2007}, editor = {Negru, Viorel and Jebelean, Tudor and Petcu, Dana and Zaharie, Daniela}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2007.85}, interhash = {b276db38ec086ffd6f97a09954234787}, intrahash = {e1078e95549e8a4b8be18a9df396c1cb}, isbn = {978-0-7695-3078-9}, keywords = {dblp}, pages = 3, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:13:49.000+0200}, title = {The Gradual Computerisation of Mathematics in MathLang.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2007.html#Kamareddine07}, year = 2007 }