학술논문
'학술논문'
에서 검색결과 257건 | 목록
1~10
Academic Journal
In Mut.Res.-Genetic Toxicology and Environmental Mutagenesis 2004 561(1):91-100
Academic Journal
In Mut.Res.-Genetic Toxicology and Environmental Mutagenesis 2001 497(1):89-99
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2017, 13(2)) 27p.
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 1 March 2015, 16(2))
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 17 February 2015, 54(2):101-133)
Academic Journal
In: Journal of Symbolic Computation . (Journal of Symbolic Computation, 2015, 69(1):129-158)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, March 2013, 50(3):279-315)
Book
Baum, M.; Fritzen, S.; Mertes, P.; Spormann, T.; Eisenbrand, G.; Bertow, D.; Fauth, E.; Herrmann, A.; Rudolphi, M.; Zankl, H.
(Advances in Experimental Medicine and Biology, 2005, 561:77-88)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, In Press, 2012, :1-37)
검색 결과 제한하기
제한된 항목
[AR] Zankl, H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어