학술논문
'학술논문'
에서 검색결과 35건 | 목록
1~10
Academic Journal
In Discrete Mathematics December 2023 346(12)
Academic Journal
Academic Journal
In Journal of Pure and Applied Algebra 2002 176(2):113-125
Conference
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. :243-250
Conference
Proceedings of the 1999 international symposium on Symbolic and algebraic computation. :245-251
Academic Journal
Book
Aransay-Azofra, Jesús; Divasón, Jose; Heras, Jónathan; Lambán, Laureano; Pascual, María Vico; Rubio, Ángel Luis; Rubio, Julio
Artificial Intelligence & Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings; 2014, p49-63, 15p
Book
Carbonell, Jaime G.; Siekmann, Jörg; Kauers, Manuel; Kerber, Manfred; Miner, Robert; Windsteiger, Wolfgang; Andrés, Mirian; Lambán, Laureano; Rubio, Julio
Towards Mechanized Mathematical Assistants; 2007, p1-12, 12p
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Lambán, Laureano
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어