この資料をSMS送信: Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona ... [and others] (eds.).