Contents of Report
[Data of Report]
- Report Number:
- TM1222
- Date of Registration:
- 1992.09
- English Title:
- ***
- Japanese Title:
- 並列推論マシン上の並列定理証明系による有限代数の新事実
- English Author:
- M.Fujita,Jhon K.Slaney,R.Hasegawa
- Japanese:
- 藤田 正幸,J.K.Slaney,長谷川 隆三
- Name of Organization to which author belongs:
- ICOT,ANU,ICOT
- PDF:
- tm1222.pdf
[Contents]
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda