| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Robert Lamar, Fairouz Kamareddine, J. B. Wells: MathLang Translation to Isabelle Syntax. Calculemus/MKM 2009: 373-388 |
| 2007 | ||
| 1 | EE | 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] |