user68585 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
QGIS Vector de la Barra de herramientas No Tiene Herramientas
el 27 de Diciembre, 2017 7 votos
Últimas Respuestas
- 0 votos
Mapeo de problemas simples de primer orden a la teoría de tipos
el 26 de Marzo, 2013 0 votos - 0 votos
Axiomas de Peano expresados en la teoría de tipos
el 26 de Marzo, 2013 0 votos
Etiquetas favoritas
- 1 x axiomas-de-peano
- 1 x type-teoría
- 1 x qgis
- 1 x vector
- 1 x bastidor-portaaperos
- 1 x estadística
- 1 x logic