Search results for: Kevin Donnelly
The Anatomical Record > 306 > 3 > 594 - 606
International Journal of Cancer > 149 > 5 > 1100 - 1108
Molecular Ecology Resources > 17 > 5 > 943 - 954
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 466-480
Lecture Notes in Computer Science > Frontiers of Combining Systems > Theorem Proving Frameworks and Systems > 310-320
Tree Genetics & Genomes > 2016 > 12 > 3 > 1-10
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 5 > 109-125
Journal of Automated Reasoning > 2007 > 38 > 4 > 353-373