Colección: TEMAS

Temas Cantidad
Knowledge representation1
causality1
dependence relation1
modal logics1
reasoning about actions1
tableau systems1