Contents of Report
[Data of Report]
Report Number:
TM0827
Date of Registration:
1989.11
English Title:
Guide to the Japanese Demonstrations at Joint Japanese/American Workshop on Future Trends in Logic Programming
Japanese Title:
***
English Author:
K.Rokusawa
Japanese:
***
Name of Organization to which author belongs:
***
PDF:
tm0827.pdf
[Contents]
1
Parallel Software Development System Multi-PSI and PIMOS
.... 4
2
Knowledge Application Oriented Advanced DBMS Kappa
.... 32
3
Computer Aided Proof CAP-LA
.... 38
4
Constraint Logic Programming Experimental System CAL
.... 42
5
A General-Purpose Reasoning Assistant System EUODHILOS
.... 48
6
Visualization and Transformation Apprentice for Concurrent Logic Programming
.... 52
7
PIMOS Development Support System PDSS
.... 57
8
Experimental A'UM System XAS
.... 59
End
.... 60
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda