Lista de

López Pombo, Carlos Gustavo
11
2004
1
Galeotti, Juan Pablo; Roman, Mario. (2004). "Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.