notas de la exposición de Walther

Posted Octubre 9, 2006
Filed under: Uncategorized |

Haciendo clic aquí puede bajar las notas (complementarias) de la exposición de Walther sobre eliminación de cuantificadores en RCF.

Todavía no hay comentarios

Replica

Tienes que iniciar sesión para escribir un comentario.