Publicaciones (5) Publicaciones en las que ha participado algún/a investigador/a

1988

  1. Formal Manipulation of Forrester Diagrams by Graph Grammars

    IEEE Transactions on Systems, Man and Cybernetics, Vol. 18, Núm. 6, pp. 981-996

  2. Innovación y tecnología en el país vasco

    Revista valenciana d'estudis autonòmics, Núm. 10, pp. 307-316

  3. Modelling an automatic tutor by dynamic planning

    Proc 1988 Int Conf Syst Man Cybern

  4. Polinomioak: irakaskuntza ertainak

    Donostia : Elkar, D.L. 1988

  5. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42