학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 93건 | 목록 30~40
Book
Fermüller, C. (A-TUWN) AMS Author Profile; Leitsch, A. (A-TUWN) AMS Author Profile; Tammet, T. (ES-AOS) AMS Author Profile; Zamov, N. (RS-KAZA) AMS Author Profile
Book
In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8562 LNAI:240-254)
Conference
In: CEUR Workshop Proceedings, PxTP 2012 - Proceedings of the 2nd International Workshop on Proof Exchange for Theorem Proving. (CEUR Workshop Proceedings, 2012, 878:51-57)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. (Leibniz International Proceedings in Informatics, LIPIcs, 2012, 16:485-499)
Book
In: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7180 LNCS:228-242)
Book
In: Automated Reasoning - 5th International Joint Conference, IJCAR 2010, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6173 LNAI:427-433)
Book
In: Logical Foundations of Computer Science - International Symposium, LFCS 2009, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5407 LNCS:214-229)
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:77-91)
Conference
In: CEUR Workshop Proceedings, ESARM 2008 - Proceedings of the CICM Workshop on Empirically Successful Automated Reasoning in Mathematics. (CEUR Workshop Proceedings, 2008, 378:23-41)
Book
In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008 - 15th Symposium, Calculemus 2008 - 7th International Conference, MKM 2008, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5144 LNAI:462-477)
검색 결과 제한하기
제한된 항목
[AR] Leitsch, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어