• شماره ركورد
    36641
  • شماره مدرك
    4363177
  • نويسنده/تنالگان
    Francisco Botana
  • عنوان

    Automated Deduction in Geometry - 10th International Workshop, ADG 2014 (Lecture Notes in Computer Science)

  • اطلاعات نشر
    Springer
  • سال نشر
    2015
  • شابك
    9783319213613
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=36641