Volver atrás Publicación
Letelier Torres Patricio Orlando, Sánchez Palma Pedro, Ramos Salavert Isidro
1998
Especificaciones de proceso para objetos y su representación en Lógica Dinámica