학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 41건 | 목록 1~10
Academic Journal
Ye, Lina (F-UPS6-LMF) AMS Author Profile; Khmelnitsky, Igor (F-UPS6-LMF) AMS Author Profile; Haddad, Serge (F-UPEC) AMS Author Profile; Barbot, Benoît (F-UPS6-LMF) AMS Author Profile; Bollig, Benedikt (D-ULUB-SEP) AMS Author Profile; Leucker, Martin (D-DTU-NDM) AMS Author Profile; Neider, Daniel (D-MPISWS) AMS Author Profile; Roy, Rajarshi AMS Author Profile
Logical Methods in Computer Science (Log. Methods Comput. Sci.) (20240101), 20, no.~1, Paper No 22, 23~pp. eISSN: 1860-5974.
검색 결과 제한하기
제한된 항목
[AR] Barbot, Benoit
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어