학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 129건 | 목록 120~130
Academic Journal
In: ACM Communications in Computer Algebra. (ACM Communications in Computer Algebra, January 2013, 46(3-4):104-105)
Conference
In: Lecture Notes in Computer Science, Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. (Lecture Notes in Computer Science, 2005, 3576:20-23)
Conference
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Automated Reasoning. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2004, 3097:218-222)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3114:162-174)
Conference
In: Winter Simulation Conference Proceedings. (Winter Simulation Conference Proceedings, 2003, 1:888-896)
Academic Journal
In: Cadernos de Saude Publica. (Cadernos de Saude Publica, July 2012, 28(SUPPL):S6-S7)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, August 2011, 47(2):161-189)
Book
In: Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2392:438-455)
Academic Journal
In: Electronic Notes in Theoretical Computer Science, Selected Papers from the Wotkshops on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR 2004). (Electronic Notes in Theoretical Computer Science, 18 July 2005, 125(3):69-85)
검색 결과 제한하기
제한된 항목
[AR] De Moura, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어