학술논문
'학술논문'
에서 검색결과 7건 | 목록
1~10
Academic Journal
Muñoz, C.A.; Dutle, A.M.; Narkawicz, A.J.; Ayala-Rincón, M.; Moscato, M.M.; Almeida, A.A.; Ramos, T.M.F.; da Silva, A.B.A.
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, December 2023, 67(4))
Conference
Muñoz, C.A.; Dutle, A.M.; Ayala-Rincón, M.; Moscato, M.M.; Narkawicz, A.J.; Almeida, A.A.; Ramos, T.M.F.; Avelar, A.B.
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)
주제어
언어