학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 545건 | 목록 160~170
Conference
Alves, Sandra (P-PORTS-CS) AMS Author Profile; Ramos, Miguel (P-PORTS-CS) AMS Author Profile
Proceedings---37th Conference on Mathematical Foundations of Programming Semantics (20210101), 1-17.
Academic Journal
REVISTA TECNICA DE LA FACULTAD DE INGENIERIA UNIVERSIDAD DEL ZULIA; AUG 2011, 34 2, p97-p106, 10p.
Academic Journal
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY; MAY 2010, 138 5, p1681-p1692, 12p.
Academic Journal
DIFFERENTIAL AND INTEGRAL EQUATIONS; SEP-OCT 2009, 22 9-10, p901-p911, 11p.
Academic Journal
TOPOLOGICAL METHODS IN NONLINEAR ANALYSIS; SEP 2009, 34 1, p21-p39, 19p.
Academic Journal
ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS; 2002, p25 15p.
Conference
Alves, Sandra (P-PORTS-CS) AMS Author Profile; Fernández, Maribel (4-LNDKC-IF) AMS Author Profile; Ramos, Miguel (P-PORTS-CS) AMS Author Profile
Proceedings of LSFA 2020, the 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020) (20200101), 3-23.
검색 결과 제한하기
제한된 항목
[AR] Ramos, Miguel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어