![]() |
| 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] |