학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 68건 | 목록 1~10
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 25 October 2021, 31(9):1034-1089)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 22 May 2018, 14(2))
Academic Journal
In: Electronic Notes in Theoretical Computer Science. (Electronic Notes in Theoretical Computer Science, 11 July 2016, 323:39-56)
Academic Journal
In: Journal of the ACM. (Journal of the ACM, June 2016, 63(3))
Conference
In: OpenAccess Series in Informatics, 3rd International Workshop on Formal Methods for Blockchains, FMBC 2021. (OpenAccess Series in Informatics, November 2021, 95)
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 April 2015, 25(2):473-523)
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, October 2013, 23(5):1002-1031)
Academic Journal
In: Journal of Applied Logic. (Journal of Applied Logic, March 2013, 11(1):1-29)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12478 LNCS:73-88)
검색 결과 제한하기
제한된 항목
[AR] Gabbay, M.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어