학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Academic Journal
In: Journal of Symbolic Computation. (Journal of Symbolic Computation, January 2013, 48:37-53)
Academic Journal
In: Mathematics in Computer Science. (Mathematics in Computer Science, September 2010, 4(2-3):359-383)
Academic Journal
In: Revista Matematica Complutense. (Revista Matematica Complutense, July 2010, 23(2):453-466)
Academic Journal
In: Mathematics in Computer Science. (Mathematics in Computer Science, 2010, 3(2):185-200)
Academic Journal
In: Journal of Symbolic Computation. (Journal of Symbolic Computation, September 2009, 44(9):1326-1345)
Academic Journal
In: Journal of Pure and Applied Algebra. (Journal of Pure and Applied Algebra, August 2009, 213(8):1612-1635)
Book
In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013 - Held as Part of CICM 2013, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7961 LNAI:369-373)
Conference
In: Dagstuhl Seminar Proceedings, Verification Over Discrete-Continuous Boundaries 2010. (Dagstuhl Seminar Proceedings, 2010, 10271)
Conference
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, ISSAC'08: Proceedings of the 21st International Symposium on Symbolic and Algebraic Computation 2008. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2008, :55-62)
검색 결과 제한하기
제한된 항목
[AR] Brickenstein, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어