학술논문
'학술논문'
에서 검색결과 137건 | 목록
110~120
Book
In: Formal Modeling and Analysis of Timed Systems - 7th International Conference, FORMATS 2009, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5813 LNCS:1-6)
Book
In: Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5643 LNCS:715-720)
Conference
In: CEUR Workshop Proceedings , Proceedings of the LPAR 2008 Workshops - Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008. (CEUR Workshop Proceedings, 2008, 418:123-132)
Book
In: Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5195 LNAI:410-425)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4963 LNCS:337-340)
Book
In: Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5195 LNAI:475-490)
Conference
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4603 LNAI:183-198)
Book
In: Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4590 LNCS:20-36)
Conference
In: AIP Conference Proceedings , Single Crystal-Large Grain Niobium Technology - Proceedings of the International Niobium Workshop. (AIP Conference Proceedings, 2007, 927:165-178)
Book
In: Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4144 LNCS:81-94)
검색 결과 제한하기
제한된 항목
[AR] De Moura, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어