• شماره ركورد
    14810
  • شماره مدرك
    4365060
  • نويسنده/تنالگان
    Andrei Voronkov
  • عنوان

    Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014 (Lecture Notes in Computer Science)

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