Summary

3．1　述語論理と推論

有川節夫 

Vol.69 No.11 pp.1113-1119

Publication Date:1986/11/01

Online ISSN:2188-2355

Print ISSN:0913-5693

Type of Manuscript:知識情報処理特集

Category:

Keyword:
---

Full Text:PDF(443.3KB)>>

Buy this Article

Summary:

Login

 > 

Forgotten your password?

menu

Online ISSN:2188-2355