학술논문
'학술논문'
에서 검색결과 13건 | 목록
1~10
Academic Journal
Mankowitz, D.J.; Michi, A.; Zhernov, A.; Gelmi, M.; Selvi, M.; Paduraru, C.; Leurent, E.; Iqbal, S.; Lespiau, J.-B.; Ahern, A.; Köppe, T.; Millikin, K.; Gaffney, S.; Elster, S.; Broshear, J.; Gamble, C.; Milan, K.; Tung, R.; Cemgil, T.; Barekatain, M.; Li, Y.; Mandhane, A.; Hubert, T.; Schrittwieser, J.; Hassabis, D.; Kohli, P.; Riedmiller, M.; Vinyals, O.; Silver, D.; Hwang, M.
In: Nature . (Nature, 8 June 2023, 618(7964):257-263)
Conference
Proceedings DARPA Information Survivability Conference and Exposition DARPA information survivability DARPA Information Survivability Conference and Exposition, 2003. Proceedings. 2:138-139 vol.2 2003
Academic Journal
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, October 2015, 38(1))
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 June 2009, 74(8):534-549)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 29 November 2008, 4(4))
Academic Journal
In: Information Processing Letters . (Information Processing Letters, 30 April 2008, 106(3):100-109)
Academic Journal
In: Journal of Functional Programming . (Journal of Functional Programming, November 2007, 17(6):793-812)
Book
In: Functional and Logic Programming - 10th International Symposium, FLOPS 2010, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6009 LNCS:240-256)
Book
In: Implementation and Application of Functional Languages - 17th International Workshop, IFL 2005, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4015 LNCS:55-73)
검색 결과 제한하기
제한된 항목
[AR] Millikin, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어