Logic Programming and Automated Reasoning /
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Sách giấy |
| 言語: | English |
| 出版事項: |
Berlin :
Springer-Verlag,
1993.
|
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|