학술논문
'학술논문'
에서 검색결과 85건 | 목록
1~10
Academic Journal
In The Journal of Systems & Software August 2023 202
Conference
Rajapaksa, Sandun; Sumanaweera, Dinithi; de La Banda, Maria Garcia; Stuckey, Peter; Abramson, David; Allison, Lloyd; Lesk, Arthur; Konagurthu, Arun
2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) Bioinformatics and Biomedicine (BIBM), 2021 IEEE International Conference on. :64-71 Dec, 2021
Academic Journal
Senthooran, Ilankaikone (5-MNSH-DAI) AMS Author Profile; Klapperstueck, Matthias (5-MNSH-HCP) AMS Author Profile; Belov, Gleb (5-MNSH-DAI) AMS Author Profile; Czauderna, Tobias (5-MNSH-HCP) AMS Author Profile; Leo, Kevin (5-MNSH-DAI) AMS Author Profile; Wallace, Mark (5-MNSH-DAI) AMS Author Profile; Wybrow, Michael (5-MNSH-HCP) AMS Author Profile; de la Banda, Maria Garcia (5-MNSH-DAI) AMS Author Profile
Conference
Albert, Elvira; de la Banda, Maria Garcia; Gómez-Zamalloa, Miguel; Isabel, Miguel; Stuckey, Peter J.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. :352-362
Academic Journal
Amarasinghe, Piyumi R.; Allison, Lloyd; Stuckey, Peter J.; de la Banda, Maria Garcia; Lesk, Arthur M.; Konagurthu, Arun S.
Report
Theory and Practice of Logic Programming 14 (2014) 363-377
Report
Theory and Practice of Logic Programming: 5(6):623-668, 2005
검색 결과 제한하기
제한된 항목
[AR] de la Banda, Maria Garcia
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어