학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
검색 결과 제한하기
제한된 항목
[AR] Lengrand, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어