Search results for: Alfredo Burrieza
Mathematical Logic Quarterly > 63 > 6 > 574 - 597
Lecture Notes in Computer Science > Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 > Theoretical and Logical Methods > 602-611
Lecture Notes in Computer Science > Theory and Applications of Relational Structures as Knowledge Instruments II > 105-124
Lecture Notes in Computer Science > Current Topics in Artificial Intelligence > Knowledge Representation and Engineering > 71-80
Lecture Notes in Computer Science > Current Topics in Artificial Intelligence > Selected Papers from the 10th Conference of the Spanish Association for Artificial Intelligence (CAEPIA3) > 66-75
Mathematical Logic Quarterly > 56 > 1 > 89 - 102
Acta Informatica > 2003 > 39 > 2 > 71-96