Una interpretación algebraica de la verificación de sistemas basados en el conocimiento

Aquesta tesi apareix a les col·leccions següents