- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Robert Lamar, Fairouz Kamareddine, J. B. Wells: MathLang Translation to Isabelle Syntax. Calculemus/MKM 2009: 373-388 |
| 2007 | ||
| 1 | | Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells: Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM 2007: 280-295 |
| 1 | Fairouz Kamareddine | [1] [2] |
| 2 | Manuel Maarek | [1] |
| 3 | J. B. Wells | [1] [2] |