학술논문
'학술논문'
에서 검색결과 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)
주제어
언어