Search results for: Ian Green
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 7 > 258-272
Lecture Notes in Computer Science > Integrating Symbolic Mathematical Computation and Artificial Intelligence > 64-79
Lecture Notes in Computer Science > MICAI 2000: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 1-12
Clinical Epigenetics > 2015 > 7 > 1 > 1-12
Journal of Automated Reasoning > 2011 > 47 > 1 > 57-105
Journal of Automated Reasoning > 2009 > 43 > 1 > 53-80
Automated Software Engineering > 2000 > 7 > 3 > 263-304
Automated Software Engineering > 1999 > 6 > 4 > 329-356
Journal of Logic, Language and Information > 1999 > 8 > 3 > 297-321
Veterinary Dermatology > 1995 > 6 > 4 > 211-220