학술논문
'학술논문'
에서 검색결과 809건 | 목록
30~40
Academic Journal
In: Information and Computation . (Information and Computation, August 2019, 267:1-27)
Academic Journal
In: Transactions of Japanese Society for Medical and Biological Engineering . (Transactions of Japanese Society for Medical and Biological Engineering, 2019, 57(6):198-205)
Academic Journal
Moriyasu, S.; Taenaka, S.; Chiew, S.P.; Otsushi, K.; Matsui, N.; Teshima, K.; Tatsuta, M.; Tanaka, H.
In: Geotechnical Engineering . (Geotechnical Engineering, 2019, 50(4):96-107)
Explicit induction is not equivalent to cyclic proofs for classical logic with inductive definitions
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2019, 15(3))
Academic Journal
In: Sensors and Materials . (Sensors and Materials, 2019, 31(8):2555-2563)
Academic Journal
SHIOTANI, A.; IISHI, H.; UEDO, N.; ISHIHARA, R.; ISHIGURO, S.; TATSUTA, M.; NAKAE, Y.; KUMAMOTO, M.; HINOI, T.; MERCHANT, J. L.
Academic Journal
NAKAGAWA, S.; ASAKA, M.; KATO, M.; NAKAMURA, T.; KATO, C.; FUJIOKA, T.; TATSUTA, M.; KEIDA, K.; TERAO, S.; TAKAHASHI, S.; UEMURA, N.; KATO, T.; AOYAMA, N.; SAITO, D.; SUZUKI, M.; IMAMURA, A.; SATO, K.; MIWA, H.; NOMURA, H.; KAISE, M.
Academic Journal
Academic Journal
Academic Journal
In: Inorganic Chemistry . (Inorganic Chemistry, 7 May 2018, 57(9):5615-5623)
검색 결과 제한하기
제한된 항목
[AR] Tatsuta, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어