• شماره ركورد
    36117
  • شماره مدرك
    4404670
  • نويسنده/تنالگان
    Daniel Robertz
  • عنوان

    Formal Algorithmic Elimination for PDEs

  • اطلاعات نشر
    Springer
  • سال نشر
    2014
  • شابك
    9783319114453 ; 9783319114453 ; 9783319114446 ; 9783319114446