학술논문
'학술논문'
에서 검색결과 27건 | 목록
10~20
Academic Journal
Academic Journal
Duda-Sobczak, A.; Araszkiewicz, A.; Zozulinska-Ziolkiewicz, D.; Urbas, M.; Borucki, L.; Kulas, K.; Chudzinski, M.; Suwalska, A.
In: Diabetes and Vascular Disease Research . (Diabetes and Vascular Disease Research, 1 March 2017, 14(2):139-143)
Academic Journal
In: Biochimica et Biophysica Acta - Biomembranes . (Biochimica et Biophysica Acta - Biomembranes, 1 February 2017, 1859(2):155-166)
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)
주제어
언어