Issues and challenges about instrumental proof
- Setsuo Takato
- Satoshi Yamashita
- José Antonio Vallejo
- Francisco Botana (coord.)
- Felipe Gago (coord.)
- Manuel Ladra (coord.)
Editorial: Servicio de Publicaciones e Intercambio Científico ; Universidad de Santiago de Compostela
ISBN: 978-84-16954-87-2
Año de publicación: 2018
Páginas: 191-192
Congreso: Conference on Applications of Computer Algebra (24. 2018. Santiago de Compostela)
Tipo: Aportación congreso