학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 37건 | 목록 1~10
Academic Journal
Eder, Christian (D-RPTU-M) AMS Author Profile; Pfister, Gerhard (D-RPTU-M) AMS Author Profile; Popescu, Adrian (D-RPTU-M) AMS Author Profile
Journal of Symbolic Computation (J. Symbolic Comput.) (20210101), 102, 21-36. ISSN: 0747-7171 (print).eISSN: 1095-855X.
Academic Journal
Kandri Rody, Abdelilah (MRC-CADSS) AMS Author Profile; Maârouf, Hamid (MRC-CADSS) AMS Author Profile; Ssafini, Mohamed (MRC-CADSS) AMS Author Profile
Journal of Automated Reasoning (J. Automat. Reason.) (19980101), 20, no.~3, 365-385. ISSN: 0168-7433 (print).eISSN: 1573-0670.
Periodical
Annales de Dermatologie et de Vénéréologie; December 2019, Vol. 146 Issue: 12, Number 12 Supplement 1 pA204-A205, 2p
Academic Journal
Kandri-Rody, A. (MRC-CAD) AMS Author Profile; Weispfenning, V. (D-PASS) AMS Author Profile
Journal of Symbolic Computation (J. Symbolic Comput.) (19900101), 9, no.~1, 1-26. ISSN: 0747-7171 (print).eISSN: 1095-855X.
검색 결과 제한하기
제한된 항목
[검색어] Kandri-Rody, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어