학술논문
'학술논문'
에서 검색결과 21건 | 목록
10~20
Book
In: Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6604 LNCS:88-107)
Book
In: Foundations of Software Science and Computational Structures - 11th Int. Conf., FOSSACS 2008 - Held as Part of the Joint European Conf. on 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, 4962 LNCS:380-394)
Book
In: Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4130 LNAI:347-361)
Book
In: Computer Science Logic - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4207 LNCS:441-455)
Book
In: Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3988 LNCS:173-185)
Conference
In: Lecture Notes in Computer Science , Term Rewriting and Applications: 16th International Conference, RTA 2005, Proceedings. (Lecture Notes in Computer Science, 2005, 3467:407-422)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3701 LNCS:81-96)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, December 2007, 17(6):1109-1134)
Academic Journal
In: Electronic Notes in Theoretical Computer Science , WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings. (Electronic Notes in Theoretical Computer Science, December 2003, 86(4):714-730)
Academic Journal
Journal of Physics: Conference Series; 2006, Vol. 43 Issue 1, p1-1, 1p
검색 결과 제한하기
제한된 항목
[AR] Lengrand, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어