학술논문
'학술논문'
에서 검색결과 25건 | 목록
1~10
Academic Journal
In: Applied Sciences (Switzerland) . (Applied Sciences (Switzerland), August 2024, 14(15))
Academic Journal
Kovas, K.; Hatzilygeroudis, I.; Dimitropoulos, K.; Aravanis, T.; Ilias, A.; Spiliopoulos, G.; Abatzidou, E.; Poulos, K.; Kanlis, G.; Theodorou, J.A.
In: Applied Sciences (Switzerland) . (Applied Sciences (Switzerland), December 2023, 13(24))
Academic Journal
In: Annals of Mathematics and Artificial Intelligence . (Annals of Mathematics and Artificial Intelligence, August 2023, 91(4):489-515)
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 27 January 2023, 24(2))
Academic Journal
Muller, M.R.; Jones, A.G.; Evans, R.L.; Grütter, H.S.; Hatton, C.; Garcia, X.; Hamilton, M.P.; Miensopust, M.P.; Cole, P.; Ngwisanyi, T.; Hutchins, D.; Fourie, C.J.; Jelsma, H.A.; Evans, S.F.; Aravanis, T.; Pettit, W.; Webb, S.J.; Wasborg, J.
In LITHOS 2009 112 Supplement 1:93-105
Academic Journal
In: Annals of Mathematics and Artificial Intelligence . (Annals of Mathematics and Artificial Intelligence, June 2022, 90(6):573-594)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 April 2022, 32(3):630-666)
Academic Journal
In: Bulletin of the Section of Logic . (Bulletin of the Section of Logic, 2022, 51(1):1-26)
Academic Journal
In: Annals of Mathematics and Artificial Intelligence . (Annals of Mathematics and Artificial Intelligence, February 2021, 89(1-2):7-28)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 October 2020, 30(7):1357-1376)
검색 결과 제한하기
제한된 항목
[AR] Aravanis, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어