Departamento
Sistemas Informáticos y Computación
Artículos (2) Publicaciones en las que ha participado algún/a investigador/a
1993
-
Foundations of a theorem prover for functional and mathematical uses
Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38
-
Planning national telecommunication networks
Electrical Communication, pp. 188-194