A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic الإنجليزية (Q4465488)

من Marefa data
doctoral thesis by Vincent Liew, Computer Science & Engineering, University of Washington, 2020 الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic
    doctoral thesis by Vincent Liew, Computer Science & Engineering, University of Washington, 2020

      بيانات

      Wikidata item الإنجليزية
      Q113668400
      ٠ مرجع
      inception الإنجليزية
      2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668400
      author الإنجليزية
      Vincent Liew الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668400
      number of pages الإنجليزية
      ١٧٤ صفحة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668400
      ٨ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668400
      title الإنجليزية
      A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668400
      language of work or name الإنجليزية
      instance of الإنجليزية
       

      وصلات الموقع

          مجلوبة من «https://data.marefa.org/w/index.php?title=Q4465488&oldid=58082463»