Contents of Report
[Data of Report]
Report Number:
TM0086
Date of Registration:
1984.12
English Title:
THE BOYER-MOORE THEOREM PROVER IN PROLOG USER'S MANUAL
Japanese Title:
***
English Author:
***
Japanese:
***
Name of Organization to which author belongs:
***
PDF:
tm0086.pdf
[Contents]
0
INTRODUCTION
.... 5
1
How to Run BMPT
.... 6
2
Usiong Files
.... 15
3
Meta-Logical Constructs
.... 19
REFERENCES
.... 24
Appendix
.... 25
End
.... 49
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda