학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 84건 | 목록 20~30
Academic Journal
ACM Transactions on Computational Logic (TOCL). 21(4):1-31
Conference
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. :245-254
Conference
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. :1909-1911
Periodical
ENTCS: Electronic Notes in Theoretical Computer Science; Nov2019, Vol. 347, p87-120, 34p
Academic Journal
Journal of Logic & Computation; Aug2019, Vol. 29 Issue 4, p469-486, 18p
Academic Journal
Synthese; Jul2019, Vol. 196 Issue 7, p2671-2693, 23p
Academic Journal
B.T.R. 2014, 4, 386-396
Conference
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (20240101), [Art. No. 28], 14~pp..
검색 결과 제한하기
제한된 항목
[AR] Cohen, Liron
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어