jaalonso Goto Github PK
Name: Jose A. Alonso
Type: User
Company: Universidad de Sevilla
Bio: Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Twitter: Jose_A_Alonso
Location: Sevilla (España)