학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Academic Journal
In: Electronic Notes in Theoretical Computer Science. (Electronic Notes in Theoretical Computer Science, 29 October 2014, 308:229-244)
Academic Journal
In: Electronic Notes in Theoretical Computer Science. (Electronic Notes in Theoretical Computer Science, 29 October 2014, 308:87-107)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. (Leibniz International Proceedings in Informatics, LIPIcs, 2012, 16:381-395)
Book
In: Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6604 LNCS:108-122)
Book
In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6690 LNCS:123-137)
검색 결과 제한하기
제한된 항목
[AR] M. Lasson
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
자료유형(Source Type)
주제어
언어