Search results for: María-José Hidalgo
Lecture Notes in Computer Science > Current Topics in Artificial Intelligence > Selected Papers from the 10th Conference of the Spanish Association for Artificial Intelligence (CAEPIA3) > 344-353
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Contributed Papers and Poster Summaries > 92-106
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 75-91
Journal of Automated Reasoning > 2011 > 47 > 3 > 229-250
Journal of Automated Reasoning > 2006 > 37 > 1-2 > 67-92
Journal of Automated Reasoning > 2004 > 32 > 4 > 287-313
Annals of Mathematics and Artificial Intelligence > 2002 > 36 > 3 > 239-262