Automated deduction in geometry : 10th international workshop, ADG 2014 : Coimbra, Portugal, July 9-11, 2014 : revised selected papers : biennial international workshops on automated deduction in geometry : ADG meetings : ADG 2014 conference : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 9201. Lecture Notes in Artificial Intelligence)
資料に関する注記
一般注記:
形態の詳細:
資料詳細
要約等:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。