학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 27건 | 목록 10~20
Academic Journal
In: Diabetes and Vascular Disease Research. (Diabetes and Vascular Disease Research, 1 March 2017, 14(2):139-143)
Academic Journal
In: Journal of Logic, Language and Information. (Journal of Logic, Language and Information, 1 December 2015, 24(4):487-540)
Academic Journal
In: Theoretical Linguistics. (Theoretical Linguistics, 1996, 22(3):231-279)
Book
In: Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8578 LNAI:277-292)
Conference
In: Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, Proceedings - 2013 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2013. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, 2013, :19-26)
Book
In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7364 LNAI:559-566)
Book
In: Diagrammatic Representation and Inference - 7th International Conference, Diarams 2012, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7352 LNAI:163-177)
Book
In: Interactive Theorem Proving - Second International Conference, ITP 2011, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6898 LNCS:376-382)
검색 결과 제한하기
제한된 항목
[AR] Urbas, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어