1998 | ||
---|---|---|
3 | Hiroshi Aoyama: The Semantic Completeness of a Global Intuitionistic Logic. Math. Log. Q. 44: 167-175 (1998) | |
1994 | ||
2 | Hiroshi Aoyama: The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic. Notre Dame Journal of Formal Logic 35(3): 355-368 (1994) | |
1991 | ||
1 | EE | Hiroshi Aoyama, Masahiro Kawagoe: A piecewise linear approximation method preserving visual feature points of original figures. CVGIP: Graphical Model and Image Processing 53(5): 435-446 (1991) |
1 | Masahiro Kawagoe | [1] |