학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 34건 | 목록 1~10
Conference
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :72-81 1992
Conference
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :223-234 1992
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 1 June 2017, 27(5):738-750)
Book
In: Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3838 LNCS:70-87)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 10th International Conference on Interactive Theorem Proving, ITP 2019. (Leibniz International Proceedings in Informatics, LIPIcs, September 2019, 141)
Academic Journal
In: Quadrature. (Quadrature, October 2011, 82:42-46)
Conference
Proceedings of the 17th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 12/ 1/1989, p31-46, 16p
Academic Journal
In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). (SIGPLAN Notices (ACM Special Interest Group on Programming Languages), June 1996, 31(6):83-91)
Academic Journal
In: Journal of the ACM. (Journal of the ACM, March 1996, 43(2):362-397)
검색 결과 제한하기
제한된 항목
[AR] Lévy, J.-J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어