-
1تقرير
المؤلفون: Platzer, André
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70, 68N15, 97E30, 97U70, 97P40, F.3.1, F.3.2, K.3.0
URL الوصول: http://arxiv.org/abs/2407.09959
المؤلفون: Platzer, André
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70, 68N15, 97E30, 97U70, 97P40, F.3.1, F.3.2, K.3.0
URL الوصول: http://arxiv.org/abs/2407.09959