학술논문
'학술논문'
에서 검색결과 15건 | 목록
1~10
Report
Automated Deduction - CADE 29. CADE 2023. Lecture Notes in Computer Science, vol 14132. Springer, Cham
Report
Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Academic Journal
KI - Künstliche Intelligenz: German Journal of Artificial Intelligence - Organ des Fachbereichs "Künstliche Intelligenz" der Gesellschaft für Informatik e.V.. 34(3):417-421
13th International Conference on Intelligent Computer Mathematics, CICM 2020, Bertinoro, Italy Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12236 LNAI:123-137
Conference
Hozzová, Petra (A-TUWN-NDM) AMS Author Profile; Amrollahi, Daneshvar (1-STF-NDM) AMS Author Profile; Hajdu, Márton (A-TUWN-NDM) AMS Author Profile; Kovács, Laura (A-TUWN-NDM) AMS Author Profile; Voronkov, Andrei (A-TUWN-NDM) AMS Author Profile; Wagner, Eva Maria (A-TUWN-NDM) AMS Author Profile
Conference
Kovács, Laura (A-TUWN-NDM) AMS Author Profile; Hozzová, Petra (A-TUWN-NDM) AMS Author Profile; Hajdu, Márton (A-TUWN-NDM) AMS Author Profile; Voronkov, Andrei (4-MANC-NDM) AMS Author Profile
Conference
Hozzová, Petra (A-TUWN-NDM) AMS Author Profile; Kovács, Laura (A-TUWN-NDM) AMS Author Profile; Norman, Chase (1-CA-NDM) AMS Author Profile; Voronkov, Andrei (4-MANC-NDM) AMS Author Profile
Conference
Hozzová, Petra (A-TUWN-NDM) AMS Author Profile; Bendík, Jaroslav (1-CERTORA) AMS Author Profile; Nutz, Alexander (NC) AMS Author Profile; Rodeh, Yoav (NC) AMS Author Profile
Conference
Hajdu, Márton (A-TUWN-NDM) AMS Author Profile; Hozzová, Petra (A-TUWN-NDM) AMS Author Profile; Kovács, Laura (A-TUWN-NDM) AMS Author Profile; Reger, Giles (4-MANC-NDM) AMS Author Profile; Voronkov, Andrei (A-TUWN-NDM) AMS Author Profile
검색 결과 제한하기
제한된 항목
[Author] Hozzová, Petra
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어