Directorios

Enlace: http://cs.math.ist.utl.pt/fmd.html

Descripción: IST. Instituto Superior Técnico. Departamento de Matemática
«Research interests: specification of large structured systems using non-monotonic logics; computational mathematics.»