検索結果 1 - 1 結果 / 1 検索語 'Schreck, Pascal', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

    出版年 Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

検索ツール: