Seki, Hirohisa

3 publications

IJCAI 1997 A Method of Generating Calligraphy of Japanese Character Using Deformable Contourse Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh

IJCAI 1985 Incorporating Generalization Heuristics into Verification of Prolog Programs Hirohisa Seki

IJCAI 1983 A Description and Reasoning of Plant Controllers in Temporal Logic Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi