학술논문
'학술논문'
에서 검색결과 204건 | 목록
1~10
Academic Journal
In Journal of Logical and Algebraic Methods in Programming August 2023 134
Academic Journal
In Swarm and Evolutionary Computation February 2022 68
Academic Journal
In Journal of Logical and Algebraic Methods in Programming January 2022 124
Academic Journal
In Journal of Logical and Algebraic Methods in Programming January 2022 124
Report
J. Logic. Algebr. Program 134 (2023) article 100887
Academic Journal
In Journal of Logical and Algebraic Methods in Programming November 2021 123
Academic Journal
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
In Journal of Logical and Algebraic Methods in Programming January 2020 110
Academic Journal
Theory & Practice of Logic Programming; Jan2024, Vol. 24 Issue 1, p57-109, 53p
검색 결과 제한하기
제한된 항목
[AR] Martí-Oliet, Narciso
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어