학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 79건 | 목록 70~80
Book
In: Computer Algebra in Scientific Computing - 8th International Workshop, CASC 2005, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3718 LNCS:220-235)
Academic Journal
In: Journal of Symbolic Computation. (Journal of Symbolic Computation, May 2009, 44(5):419-420)
Book
In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes - 11th International Symposium, AAECC, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1995, 948:232-247)
Book
In: LATIN 1995: Theoretical Informatics - 2nd Latin American Symposium 1995, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1995, 911:332-345)
Academic Journal
González-Vega, L. (E-SANT) AMS Author Profile; Lombardi, H. (F-FRAN) AMS Author Profile; Recio, T. (E-SANT) AMS Author Profile; Roy, M.-F. (F-RENNB-IM) AMS Author Profile
RAIRO Informatique Théorique et Applications. Theoretical Informatics and Applications (RAIRO Inform. Théor. Appl.) (19900101), 24, no.~6, 561-588. ISSN: 0988-3754 (print).
Conference
González-Vega, L. (E-SANT) AMS Author Profile; Recio, T. (E-SANT) AMS Author Profile; Lombardi, H. (F-UBFC2-M) AMS Author Profile; Roy, M.-F. (F-RENNB-IM) AMS Author Profile
Quantifier elimination and cylindrical algebraic decomposition (Linz, 1993) (19980101), 300-316.
Conference
Delzell, C. N. (1-LAS) AMS Author Profile; González-Vega, L. (E-SANT) AMS Author Profile; Lombardi, H. (F-UBFC2-M) AMS Author Profile
Computational algebraic geometry (Nice, 1992) (19930101), 61-75.
검색 결과 제한하기
제한된 항목
[AR] Gonzalez-Vega, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어