학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 22건 | 목록 1~10
Conference
2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :152-161 Oct, 2023
Conference
2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :96-101 Oct, 2021
Conference
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016 18th International Symposium on. :181-186 Sep, 2016
Conference
Bjørner, Nikolaj (1-MSFT) AMS Author Profile; Fazekas, Katalin (A-TUWN-NDM) AMS Author Profile
Automated deduction---CADE 29 (20230101), 41-60.
Conference
Fazekas, Katalin (A-TUWN-NDM) AMS Author Profile; Niemetz, Aina (1-STF-NDM) AMS Author Profile; Preiner, Mathias (1-STF-NDM) AMS Author Profile; Kirchweger, Markus (A-TUWN-NDM) AMS Author Profile; Szeider, Stefan (A-TUWN-NDM) AMS Author Profile; Biere, Armin (D-FRBG-NDM) AMS Author Profile
26th International Conference on Theory and Applications of Satisfiability Testing (20230101), Art. No. 8, 13~pp..
Academic Journal
Journal of Pediatric Orthopaedics B; Fall1996, Vol. 5 Issue 4, p257-265, 9p
검색 결과 제한하기
제한된 항목
[AR] Fazekas, Katalin
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어