Zentrum
Facultad de Informática
Publikationen (5) Publikationen, an denen Forscher/innen teilgenommen haben
1988
-
Formal Manipulation of Forrester Diagrams by Graph Grammars
IEEE Transactions on Systems, Man and Cybernetics, Vol. 18, Núm. 6, pp. 981-996
-
Innovación y tecnología en el país vasco
Revista valenciana d'estudis autonòmics, Núm. 10, pp. 307-316
-
Modelling an automatic tutor by dynamic planning
Proc 1988 Int Conf Syst Man Cybern
-
Polinomioak: irakaskuntza ertainak
Donostia : Elkar, D.L. 1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42