-
1تقرير
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
الوصول الحر: http://arxiv.org/abs/2205.04882Test
-
2تقرير
-
3تقرير
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2012.10940Test
-
4تقرير
المصدر: Theory and Practice of Logic Programming 19 (2019) 925-940
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computational Complexity, Computer Science - Databases, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/1907.09820Test
-
5تقرير
-
6تقرير
المصدر: Theory and Practice of Logic Programming 18 (2018) 421-437
مصطلحات موضوعية: Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/1804.08335Test
-
7تقرير
-
8تقرير
المصدر: EPTCS 191, 2015, pp. 18-32
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, F.3.2, F.4.1
الوصول الحر: http://arxiv.org/abs/1509.03013Test
-
9تقرير
المؤلفون: Charalambidis, Angelos, Ésik, Zoltán, Rondogiannis, Panos
المصدر: Theory and Practice of Logic Programming 14 (2014) 725-737
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/1405.3792Test
-
10كتاب
المؤلفون: Charalambidis, Angelos, Rondogiannis, Panos
المصدر: Logics in Artificial Intelligence ; Lecture Notes in Computer Science ; page 515-530 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031436185 9783031436192