학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
Automated reasoning. Part I (20240101), 154-171.
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
Automated reasoning. Part I (20240101), 21-29.
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
Automated deduction---CADE 29 (20230101), 307-324.
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
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (20230101), 257-269.
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
Principles of systems design---essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday (20220101), 306-322.
검색 결과 제한하기
제한된 항목
[Author] Hozzová, Petra
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어