학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9,851건 | 목록 1~20
Academic Journal
de Boer, F. S. (NL-LEID-IAC) AMS Author Profile; de Gouw, Stijn (NL-OU) AMS Author Profile; Hiep, Hans-Dieter (NL-MATH) AMS Author Profile; Bian, Jinting (NL-LEID-IAC) AMS Author Profile
Formal Aspects of Computing (Form. Asp. Comput.) (20250101), 37, no. 2, Art 11, 23 pp. ISSN: 0934-5043 (print).eISSN: 1433-299X.
Academic Journal
Durán, Francisco (E-MAL-ISF) AMS Author Profile; Ramírez, Carlos (CL-PUJ2-EEC) AMS Author Profile; Rocha, Camilo (CL-PUJ2-EEC) AMS Author Profile; Pozas, Nicolás (E-MAL-ISF) AMS Author Profile
Journal of Logical and Algebraic Methods in Programming (J. Log. Algebr. Methods Program.) (20250101), 144, Paper No 101048, 23 pp. ISSN: 2352-2208 (print).eISSN: 2352-2216.
Academic Journal
Gebser, Martin (A-KLAG-DAI) AMS Author Profile; Giunchiglia, Enrico (I-GENO-IBR) AMS Author Profile; Maratea, Marco (I-CLBR-MI) AMS Author Profile; Mochi, Marco (I-GENO-IBR) AMS Author Profile
Artificial Intelligence (Artificial Intelligence) (20250101), 340, Paper No 104276, 22 pp. ISSN: 0004-3702 (print).eISSN: 1872-7921.
Academic Journal
Powell, Thomas (4-BATH-C) AMS Author Profile
Logical Methods in Computer Science (Log. Methods Comput. Sci.) (20240101), 20, no. 1, Paper No 7, 32 pp. eISSN: 1860-5974.
Academic Journal
Liu, Daxin (PRC-NAN-NDM) AMS Author Profile; Lakemeyer, Gerhard (D-AACH-NDM) AMS Author Profile
Journal of Artificial Intelligence Research (J. Artificial Intelligence Res.) (20250101), 82, 1205-1242. ISSN: 1076-9757 (print).eISSN: 1943-5037.
Academic Journal
Miller, Dale (F-POLY-LI) AMS Author Profile
Theory and Practice of Logic Programming (Theory Pract. Log. Program.) (20220101), 22, no. 6, 859-904. ISSN: 1471-0684 (print).eISSN: 1475-3081.
Academic Journal
Medina, Jesús (E-CAD) AMS Author Profile; Antonio Torné-Zambrano, José (E-CAD) AMS Author Profile
Mathematical Methods in the Applied Sciences (Math. Methods Appl. Sci.) (20250101), 48, no. 4, 4232-4243. ISSN: 0170-4214 (print).eISSN: 1099-1476.
Academic Journal
Wang, Yisong (PRC-GUIZ-CTC) AMS Author Profile; Eiter, Thomas (A-TUWN-ILC) AMS Author Profile; Zhang, Yuanlin (1-TXT-NDM) AMS Author Profile; Lin, Fangzhen (PRC-HKST-NDM) AMS Author Profile
ACM Transactions on Computational Logic (ACM Trans. Comput. Log.) (20230101), 24, no. 2, Art 15, 46 pp. ISSN: 1529-3785 (print).eISSN: 1557-945X.
Academic Journal
Eiter, Thomas (A-TUWN-ILC) AMS Author Profile; Hecher, Markus (1-MIT-CSA) AMS Author Profile; Kiesel, Rafael (A-TUWN-ILC) AMS Author Profile
Artificial Intelligence (Artificial Intelligence) (20240101), 330, Paper No 104109, 55 pp. ISSN: 0004-3702 (print).eISSN: 1872-7921.
Academic Journal
Becker, Arvid (D-PTDM-II) AMS Author Profile; Cabalar, Pedro (E-CRNA-C) AMS Author Profile; Diéguez, Martín (F-ANGR-LR) AMS Author Profile; Farinas del Cerro, Luis (F-CNRS4-IRI) AMS Author Profile; Schaub, Torsten (D-PTDM-II) AMS Author Profile; Schuhmann, Anna (D-PTDM-II) AMS Author Profile
Journal of Applied Non-Classical Logics (J. Appl. Non-Class. Log.) (20230101), 33, no. 3-4, 495-519. ISSN: 1166-3081 (print).eISSN: 1958-5780.
Academic Journal
Antonelli, Melissa (FIN-HIIT) AMS Author Profile; Dal Lago, Ugo (I-BOLO-IEN) AMS Author Profile; Pistone, Paolo (I-BOLO-IEN) AMS Author Profile
Annals of Pure and Applied Logic (Ann. Pure Appl. Logic) (20240101), 175, no. 9, Paper No 103341, 51 pp. ISSN: 0168-0072 (print).eISSN: 1873-2461.
Book
Cheng, Kewei (1-AMAZ2) AMS Author Profile; Sun, Yizhou (1-UCLA-C) AMS Author Profile
Academic Journal
Poskitt, Christopher M. (SGP-SMU-CIS) AMS Author Profile; Plump, Detlef (4-YORK-C) AMS Author Profile
Journal of Logical and Algebraic Methods in Programming (J. Log. Algebr. Methods Program.) (20230101), 130, Paper No 100825, 29 pp. ISSN: 2352-2208 (print).eISSN: 2352-2216.
Academic Journal
Azzolini, Damiano (I-FERR-MI) AMS Author Profile; Bellodi, Elena (I-FERR-E) AMS Author Profile; Ferilli, Stefano (I-BARI-IF) AMS Author Profile; Riguzzi, Fabrizio (I-FERR-MI) AMS Author Profile; Zese, Riccardo (I-FERR-CPA) AMS Author Profile
International Journal of Approximate Reasoning (Internat. J. Approx. Reason.) (20220101), 142, 41-63. ISSN: 0888-613X (print).eISSN: 1873-4731.
Book
Liu, Xinyu (PRC-AMAZON) AMS Author Profile
Academic Journal
Gheorghiu, Alexander V. (4-LNDUC-C) AMS Author Profile; Pym, David J. (4-LNDUC-C) AMS Author Profile
University of Łódź. Department of Logic. Bulletin of the Section of Logic (Bull. Sect. Logic Univ. Łódź) (20230101), 52, no. 2, 239-266. ISSN: 0138-0680 (print).eISSN: 2449-836X.
Academic Journal
Grandjean, Étienne (F-CAEN-GR) AMS Author Profile; Grente, Théo (F-CAEN-GR) AMS Author Profile; Terrier, Véronique (F-CAEN-GR) AMS Author Profile
Theoretical Computer Science (Theoret. Comput. Sci.) (20240101), 987, Paper No 114355, 59 pp. ISSN: 0304-3975 (print).eISSN: 1879-2294.
Academic Journal
Leite, João (P-NULST-INC) AMS Author Profile; Slota, Martin (P-NULST-INC) AMS Author Profile
Theory and Practice of Logic Programming (Theory Pract. Log. Program.) (20230101), 23, no. 1, 57-110. ISSN: 1471-0684 (print).eISSN: 1475-3081.
Academic Journal
Weitkämper, Felix (D-MNCH-I) AMS Author Profile
Journal of Logical and Algebraic Methods in Programming (J. Log. Algebr. Methods Program.) (20240101), 139, Paper No 100975, 13 pp. ISSN: 2352-2208 (print).eISSN: 2352-2216.
검색 결과 제한하기
제한된 항목
[검색어] Computer Science Logic and Foundations of Programming.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어