EDUARDO JAIME
SARABIA ÁLVAREZ UDE
Ikertzailea 2019-(e)ra arte
Antonio
Benítez
Antonio Benítez-rekin lankidetzan egindako argitalpenak (1)
1985
-
Prueba automática para las lógicas LE, K, T y S4
Teorema: Revista internacional de filosofía, Vol. 15, Núm. 1, pp. 213-230