학술논문
'학술논문'
에서 검색결과 15,399건 | 목록
1~20
Academic Journal
In International Journal of Approximate Reasoning November 2025 186
Academic Journal
Academic Journal
In Journal of Logical and Algebraic Methods in Programming January 2025 142
Academic Journal
Academic Journal
Theoria: An International Journal for Theory, History and Foundations of Science, 2003 Jan 01. 181(46), 9-15.
Academic Journal
Academic Journal
Academic Journal
Dissertation/ Thesis
Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings. Lecture Notes in Computer Science, Volumen 6707. Springer 2011. 62-77
978-3-642-21731-9 (print)
978-3-642-21732-6 (online)
0302-9743 (print)
1611-3349 (online)
62
77
6707
978-3-642-21731-9 (print)
978-3-642-21732-6 (online)
0302-9743 (print)
1611-3349 (online)
62
77
6707
Dissertation/ Thesis
Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings. Lecture Notes in Computer Science, Volumen 7307. Springer 2012. 40-55
978-3-642-30475-0 (print)
978-3-642-30476-7 (online)
0302-9743 (print)
1611-3349 (online)
40
55
7307
978-3-642-30475-0 (print)
978-3-642-30476-7 (online)
0302-9743 (print)
1611-3349 (online)
40
55
7307
Dissertation/ Thesis
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science, Volumen 6142. Springer, 2010. 45-60
978-3-642-13687-0 (print)
978-3-642-13688-7 (online)
0302-9743 (print)
1611-3349 (online)
45
60
6142
978-3-642-13687-0 (print)
978-3-642-13688-7 (online)
0302-9743 (print)
1611-3349 (online)
45
60
6142
Dissertation/ Thesis
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volumen 7233. Springer 2012. 35-50
978-3-642-34175-5 (print)
978-3-642-34176-2 (online)
0302-9743 (print)
1611-3349 (online)
35
50
7233
978-3-642-34175-5 (print)
978-3-642-34176-2 (online)
0302-9743 (print)
1611-3349 (online)
35
50
7233
검색 결과 제한하기
제한된 항목
[검색어] Mathematical Logic and Formal Languages.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어