학술논문
'학술논문'
에서 검색결과 34건 | 목록
1~10
Academic Journal
In Ethique et Sante March 2014 11(1):4-12
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)
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)
주제어
언어