![]() | ![]() |
1993 | ||
---|---|---|
3 | Masayuki Fujita, John K. Slaney, Frank Bennett: Automatic Generation of Some Results in Finite Algebra. IJCAI 1993: 52-59 | |
1992 | ||
2 | Ryuzo Hasegawa, Masayuki Fujita: Parallel Theorem Provers and Their Applications. FGCS 1992: 132-154 | |
1 | Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Model Generation Theorem Provers on a Parallel Inference Machine. FGCS 1992: 357-375 |
1 | Frank Bennett | [3] |
2 | Hiroshi Fujita | [1] |
3 | Ryuzo Hasegawa | [1] [2] |
4 | Miyuki Koshimura | [1] |
5 | John K. Slaney | [3] |