Search results for: Alonso Jimenez
European Journal of Neurology > 29 > 5 > 1488 - 1495
Clinical Endocrinology > 95 > 5 > 735 - 743
Muscle & Nerve > 58 > 6 > 812 - 817
Lecture Notes in Computer Science > Developments in Applied Artificial Intelligence > GIS Systems > 789-798
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 297-312
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2003 > Logic and Formal Tools > 115-126
Lecture Notes in Computer Science > Advances in Artificial Intelligence — IBERAMIA 2002 > Machine Learning > 193-203
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 171-184
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 75-91
Journal of Biological Physics > 2016 > 42 > 2 > 199-212
Journal of Automated Reasoning > 2014 > 52 > 3 > 331-360
BBA - General Subjects > 2008 > 1780 > 4 > 652-658
Fish and Shellfish Immunology > 2007 > 23 > 6 > 1187-1195