• شماره ركورد
    29113
  • شماره مدرك
    4388401
  • نويسنده/تنالگان
    Fabio Mogavero
  • عنوان

    Logics in Computer Science

  • اطلاعات نشر
    Springer
  • سال نشر
    2013
  • شابك
    9789491216954;9789462390560;9789491216947