학술논문
'학술논문'
에서 검색결과 5건 | 목록
1~10
Academic Journal
In: Carbon Trends . (Carbon Trends, June 2024, 15)
Book
Boender, J.P.; Mulligan, D.P.; Piccolo, M.; Coen, C.S.; Tranquilli, P.; Campbell, B.; Garnier, I.; McKinna, J.; Pollack, R.; Stark, I.; Ayache, N.; Bobot, F.; Régis-Gianas, Y.; Amadio, R.M.; Madet, A.
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8552:1-18)
Book
In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7705 LNCS:264-279)
Conference
In: PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming , PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming. (PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming, 2012, :55-65)
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:138-152)
검색 결과 제한하기
제한된 항목
[AR] Madet, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어