학술논문
'학술논문'
에서 검색결과 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
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
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
Academic Journal
Powell, Thomas (4-BATH-C) AMS Author Profile
Academic Journal
Liu, Daxin (PRC-NAN-NDM) AMS Author Profile; Lakemeyer, Gerhard (D-AACH-NDM) AMS Author Profile
Academic Journal
Miller, Dale (F-POLY-LI) AMS Author Profile
Academic Journal
Medina, Jesús (E-CAD) AMS Author Profile; Antonio Torné-Zambrano, José (E-CAD) AMS Author Profile
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
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
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
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
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
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
Academic Journal
Gheorghiu, Alexander V. (4-LNDUC-C) AMS Author Profile; Pym, David J. (4-LNDUC-C) AMS Author Profile
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
Academic Journal
Leite, João (P-NULST-INC) AMS Author Profile; Slota, Martin (P-NULST-INC) AMS Author Profile
Academic Journal
Weitkämper, Felix (D-MNCH-I) AMS Author Profile
검색 결과 제한하기
제한된 항목
[검색어] Computer Science Logic and Foundations of Programming.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어