Search results for: David C. Wilkins
Journal of Automated Reasoning > 2011 > 46 > 2 > 103-160
Artificial Intelligence > 2006 > 170 > 16-17 > 1137-1174
Journal of Automated Reasoning > 2011 > 46 > 2 > 103-160
Artificial Intelligence > 2006 > 170 > 16-17 > 1137-1174