Issues and challenges about instrumental proof

  1. Setsuo Takato
  2. Satoshi Yamashita
  3. José Antonio Vallejo
Llibre:
Applications of Computer Algebra: proceedings
  1. Francisco Botana (coord.)
  2. Felipe Gago (coord.)
  3. Manuel Ladra (coord.)

Editorial: Servicio de Publicaciones e Intercambio Científico ; Universidad de Santiago de Compostela

ISBN: 978-84-16954-87-2

Any de publicació: 2018

Pàgines: 191-192

Congrés: Conference on Applications of Computer Algebra (24. 2018. Santiago de Compostela)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet