Contents of Report
[Data of Report]
- Report Number:
- TM1221
- Date of Registration:
- 1992.09
- English Title:
- New Results in Mathematics by a Parallel Theorem Prover on the Parallel Inference Machine
- Japanese Title:
- ***
- English Author:
- M.Fujita,Jhon K.Slaney,R.Hasegawa
- Japanese:
- ***
- Name of Organization to which author belongs:
- ICOT,ANU,ICOT
- PDF:
- tm1221.pdf
[Contents]
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda