학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
주제어
언어