Contents of Report
[Data of Report]
Report Number:
TM1184
Date of Registration:
1992.07
English Title:
Proceedings of EGCS '92 WORKSHOP on Automated Deduction
Japanese Title:
***
English Author:
R.Hasegawa,M.Stickel
Japanese:
***
Name of Organization to which author belongs:
ICOT,SRI
PDF:
tm1184.pdf
[Contents]
1
First-order Shannon Graphs
.... 4
2
A Heterogeneous Parallel Deduction System
.... 8
3
A Functional Languaje for Parallel Automatic Deduction
.... 17
4
The Improvement of A Parallel Theorem Prover Based on The Model Generation Method
.... 23
5
Improving Backward Execution in Non-Deterministic Concurrent Logic Languages
.... 24
6
Improving Performance Evalution of Parallel Inference Systems
.... 29
7
Expanded Abstract;The Proposal of a New Method of Generalisation within Automated Deduction
.... 33
End
.... 37
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda