학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Conference
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :37-48
Conference
Proceedings of the 11th international conference on Functional and Logic Programming. :182-196
Book
Functional & Logic Programming (9783319071503); 2014, p270-284, 15p
Conference
Brauer, Jörg (D-AACH-ESF) AMS Author Profile; King, Andy (4-KENT-SCP) AMS Author Profile; Kriener, Jael (4-KENT-SCP) AMS Author Profile
Computer aided verification (20110101), 191-207.
Conference
Kriener, Jael (4-KENT-SCP) AMS Author Profile
Technical communications of the 27th International Conference on Logic Programming (20110101), 280-283.
검색 결과 제한하기
제한된 항목
[AR] Kriener, Jael
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어