학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 38건 | 목록 30~40
Book
In: PRICAI 2010: Trends in Artificial Intelligence - 11th Pacific Rim International Conference on Artificial Intelligence, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6230 LNAI:589-594)
Conference
In: 18th World IMACS Congress and MODSIM 2009 - International Congress on Modelling and Simulation: Interfacing Modelling and Simulation with Mathematical and Computational Sciences, Proceedings, 18th World IMACS Congress and MODSIM 2009 - International Congress on Modelling and Simulation: Interfacing Modelling and Simulation with Mathematical and Computational Sciences, Proceedings. (18th World IMACS Congress and MODSIM 2009 - International Congress on Modelling and Simulation: Interfacing Modelling and Simulation with Mathematical and Computational Sciences, Proceedings, 1 January 2009, :404-410)
Conference
In: Conferences in Research and Practice in Information Technology Series, Computer Science 2005 - 28th Australasian Computer Science Conference, ACSC 2005. (Conferences in Research and Practice in Information Technology Series, 2005, 38:259-266)
Conference
In: Conferences in Research and Practice in Information Technology Series, Theory of Computing 2005 - Proceedings of the Eleventh Computing: The Australasian Theory Symposium, CATS 2005. (Conferences in Research and Practice in Information Technology Series, 2005, 41)
Book
In: Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2152:249-264)
Book
In: FME 1997: Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1997, 1313:495-514)
Academic Journal
In: Electronic Notes in Theoretical Computer Science, Proceedings of Computing: The Australasian Theory Symposium (CATS). (Electronic Notes in Theoretical Computer Science, 16 February 2004, 91:116-133)
Academic Journal
In: Electronic Notes in Theoretical Computer Science, CATS '02, Computing: The Australasian Theory Symposium. (Electronic Notes in Theoretical Computer Science, January 2002, 61:101-121)
검색 결과 제한하기
제한된 항목
[AR] Hemer, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어