A. Zarei es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Eliminación de cuantificadores en el tipo libre de cuantificadores
el 7 de Junio, 2017 1 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x model-theory
- 1 x quantifier-elimination