This thesis seeks to understand the economic/demographic impact of the American Civil War on Knoxville, Tennessee and the greater East Tennessee region. It... Davis,S Bradley 被引量: 0发表: 2006年 Using Model Checking for Pre-Planning Analysis Planning domain descriptions contain many structural ...