Loading...
Loading...

Go to the content (press return)

Toward multilingual mechanized mathematics assistants

Author
Xambo, S.; Saludes, J.
Type of activity
Presentation of work at congresses
Name of edition
EACA 2012 - XII Encuentro de Álgebra Computacional y Aplicaciones
Date of publication
2012
Presentation's date
2012
Book of congress proceedings
XIII Encuentro de Álgebra Computacional y Aplicaciones (EACA 2012)
First page
163
Last page
166
Group of research
CS2AC-UPC - Supervision, Safety and Automatic Control
ICAIB - Computational Intelligence Research Group on Analysis of Biomedical Images
SIC - Smart Control Systems

Participants