Artículos (2) Publicaciones en las que ha participado algún/a investigador/a

1993

  1. Foundations of a theorem prover for functional and mathematical uses

    Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38

  2. Planning national telecommunication networks

    Electrical Communication, pp. 188-194