El contraejemplo en la producción de conjeturas de propiedades geométricas
Guardado en:
| Autores principales: | Götte, Marcela, Renzulli, Fernanda, Scaglia, Sara |
|---|---|
| Formato: | Artículo revista |
| Lenguaje: | Español |
| Publicado: |
Unión Matemática Argentina - Facultad de Matemática, Astronomía, Física y Computación
2009
|
| Acceso en línea: | https://revistas.unc.edu.ar/index.php/REM/article/view/10256 |
| Aporte de: |
Ejemplares similares
-
Análisis modular y recuperación de contraejemplos en TACO
por: Alborodo, Raúl, et al.
Publicado: (2011) -
Sobre un aparente contraejemplo de la validez del "modus tollens"
por: Oller, Carlos Alejandro
Publicado: (2019) -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
por: Marenchino, Matías L.
Publicado: (2011) -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
por: Marenchino, Matías Leandro
Publicado: (2011) -
Los contraejemplos tipo-Frankfurt y un dilema para la Defensa-W
por: Carlos G. Patarroyo G.
Publicado: (2013)