Login / Signup
Michio Yamada
Publication Activity (10 Years)
Years Active: 1994-2012
Publications (10 Years): 0
Top Topics
Complete Axiomatization
Theorem Prover
Natural Language
Intuitionistic Logic
Top Venues
SIAM J. Appl. Math.
</>
Publications
</>
Kenta Ishimoto
,
Michio Yamada
A Coordinate-Based Proof of the Scallop Theorem.
SIAM J. Appl. Math.
72 (5) (2012)
Hiroya Nakao
,
Tsuyoshi Mishiro
,
Michio Yamada
Visualization of Correlation Cascade in Spatiotemporal Chaos using Wavelets.
Int. J. Bifurc. Chaos
11 (5) (2001)
Michio Yamada
,
Akihisa Kodate
,
Hideyoshi Tominaga
A method of describing fingerprint structure and identification algorithm using geometric characteristics.
Systems and Computers in Japan
25 (5) (1994)