スポンサーリンク
International Institute for Advanced Study of Social Information Science(IIAS-SIS), FUJITSU LIMITED | 論文
- SINGLE QUEUE COMPILATION IN EXTENDED CONCURRENT PROLOG
- Potentials of General-Purpose Reasoning Assistant System EUODHILOS
- Representation Theorems and Primitive Predicates for Logic Programs