Miguel Pagano
I am a
CS
graduate student at
Fa.M.A.F.
yahc
es un chequeador de pruebas de cálculo proposicional.
[
Call for Papers
] [
U.N.C.
]