Buscar

Estamos realizando la búsqueda. Por favor, espere...

 Detalle_Publicacion

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

 Libro: Proof Technology in Mathematics Research and Teaching

Editorial: Springer, Cham

 Año de publicación: 2019

Nº de páginas: 22

Páginas: 215 a 236

Tipo de publicación: Capítulo de libro

 DOI: 10.1007/978-3-030-28483-1_10

ISBN: 978-3-030-28482-4

Proyecto español: MTM2017-88796-P

Url de la publicación: https://doi.org/10.1007/978-3-030-28483-1_10

Consultar en Biblioteca: http://catalogo.unican.es/cgi-bin/abnetopac/?TITN=420452

Autores/as

HOHENWARTER, MARKUS

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ