Takayuki Koai

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Publications

Takayuki Koai, Makoto Tatsuta
Verification of Substitution Theorem Using HOL. Inf. Media Technol. 7 (2) (2012)