Issues and challenges about instrumental proof

• Autores: Setsuo Takato, Satoshi Yamashita, José A. Vallejo
• Localización: Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro , Felipe Gago Couso , Manuel Ladra González , 2018, ISBN 978-84-16954-87-2, págs. 191-192
• Idioma: inglés
• Texto completo no disponible (Saber más ...)