• شماره ركورد
    28169
  • شماره مدرك
    4379822
  • نويسنده/تنالگان
    Didier Galmiche
  • عنوان

    Automated Reasoning with Analytic Tableaux and Related Methods

  • اطلاعات نشر
    Springer
  • سال نشر
    2013
  • شابك
    9783642405365;9783642405372