학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, December 2023, 67(4))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
Conference
In: AIAA Information Systems-AIAA Infotech at Aerospace, 2018, AIAA Information Systems-AIAA Infotech at Aerospace, 2018. (AIAA Information Systems-AIAA Infotech at Aerospace, 2018, 2018)
Conference
In: Proceedings of the 11th USA/Europe Air Traffic Management Research and Development Seminar, ATM 2015, Proceedings of the 11th USA/Europe Air Traffic Management Research and Development Seminar, ATM 2015. (Proceedings of the 11th USA/Europe Air Traffic Management Research and Development Seminar, ATM 2015, 2015)
Conference
In: Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015. (Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 2015, :71-78)
Book
In: Tests and Proofs - 9th International Conference, TAP 2015 Held as Part of STAF 2015, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9154:92-108)
Conference
In: Advances in Safety, Reliability and Risk Management - Proceedings of the European Safety and Reliability Conference, ESREL 2011, Advances in Safety, Reliability and Risk Management - Proceedings of the European Safety and Reliability Conference, ESREL 2011. (Advances in Safety, Reliability and Risk Management - Proceedings of the European Safety and Reliability Conference, ESREL 2011, 2012, :1153-1160)
검색 결과 제한하기
제한된 항목
[AR] Narkawicz, A.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어