학술논문
'학술논문'
에서 검색결과 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
Cohen, Liron; Koenig, Sven; Kumar, T. K. Satish; Wagner, Glenn; Choset, Howie; Chan, David; Sturtevant, Nathan
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. :1909-1911
Academic Journal
ACS Earth & Space Chemistry; 6/18/2020, Vol. 4 Issue 6, p854-861, 8p
Periodical
ENTCS: Electronic Notes in Theoretical Computer Science; Nov2019, Vol. 347, p87-120, 34p
Academic Journal
Journal of Logic & Computation; Sep2019, Vol. 29 Issue 5, p693-721, 29p
Academic Journal
Journal of Logic & Computation; Aug2019, Vol. 29 Issue 4, p469-486, 18p
Conference
검색 결과 제한하기
제한된 항목
[AR] Cohen, Liron
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어