학술논문
'학술논문'
에서 검색결과 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)
주제어
언어