-
1تقرير
-
2كتاب
المؤلفون: Nakamura, Yoshiki
المساهمون: Bergström, My
URL الوصول: http://194.68.4.214/bilder/b/9789163859120.jpg
-
3كتاب
المؤلفون: Nakamura, Yoshiki
المساهمون: Bergström, My
URL الوصول: http://194.68.4.214/bilder/b/9789163859106.jpg
-
4كتاب
-
5كتاب
المؤلفون: Nakamura, Yoshiki
المساهمون: Bergström, My
URL الوصول: http://194.68.4.214/bilder/b/9789163859113.jpg
-
6كتاب
المؤلفون: Nakamura, Yoshiki
المساهمون: Bergström, My
URL الوصول: http://194.68.4.214/bilder/b/9789163860553.jpg
-
7كتاب
المؤلفون: Nakamura, Yoshiki
المساهمون: Bergström, My
URL الوصول: http://194.68.4.214/bilder/b/9789163860546.jpg
-
8مؤتمر
المؤلفون: Nakamura, Yoshiki
المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-13 Jun, 2023
Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
-
9
-
10تقرير
المؤلفون: Nakamura, Yoshiki, Sin'ya, Ryoma
المصدر: EPTCS 386, 2023, pp. 185-199
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.3, D.3.1
URL الوصول: http://arxiv.org/abs/2309.02760