asenseofdesign es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 3 votos
Diferencia entre $:=$ y $=$
el 15 de Septiembre, 2017 3 votos - 1 votos
¿Cómo empezar con la demostración automatizada de teoremas?
el 4 de Mayo, 2017 1 votos - 10 votos
Notación de las secuencias
el 4 de Mayo, 2013 10 votos
Etiquetas favoritas
- 2 x la-notación
- 1 x soft-question
- 1 x logic
- 1 x computer-science
- 1 x automated-theorem-proving
- 1 x reference-request