Faculté
Informática
Communications dans un congrès (3) Publications auxquelles un chercheur a participé
1985
-
Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Sistemas Informáticos, Sistemas Inteligentes y Sistemas Expertos
Jornadas de Inteligencia Artificial, Madrid, 25 a 27 de junio 1985
-
Sistemas expertos con base de conocimientos de esquemas de programa: aplicación a la producción de software educativo
Jornadas de Inteligencia Artificial, Madrid, 25 a 27 de junio 1985