exfenestracide 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
- 0 votos
¿Cuál es la definición de un grupo completamente en la lógica de predicados de primer orden?
el 10 de Septiembre, 2012 0 votos - 2 votos
¿Cuáles son los teoremas de las matemáticas demostrado por un equipo hasta ahora?
el 31 de Agosto, 2012 2 votos
Etiquetas favoritas
- 2 x lógica
- 1 x en-computación
- 1 x gran-lista
- 1 x automatizado-teorema-probando
- 1 x abstract-algebra
- 1 x group-teoría