Toward multilingual mechanized mathematics assistants
| Title | Toward multilingual mechanized mathematics assistants |
| Publication Type | Conference Proceedings |
| Year of Publication | 2012 |
| Authors | Saludes, J, Xambó, S |
| Editor | Sendra, JR, Villarino, C |
| Conference Name | EACA 2012 (Proceedings) |
| Pagination | 163–166 |
| Date Published | 06/2012 |
| Publisher | Universidad de Alcalá de Henares |
| ISBN Number | 848138770-3 |
| Keywords | MOLTO dissemination, WP6 |
| Refereed Designation | Refereed |
What links here
No backlinks found.
