A Unification graph with constraints for intelligent backtraining in deduction systems
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
1984
|
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 885222 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a JANSON, Agnes | |
| 245 | 1 | 0 | |a A Unification graph with constraints for intelligent backtraining in deduction systems |
| 246 | 3 | |a JANSON, Agnes | |
| 264 | 1 | |c 1984 | |
| 500 | |a JANSON, Agnes: -- A Unification graph with constraints for -- intelligent backtraining in deduction -- systems.1984 -- s.DILGER, Werner. | ||
| 852 | |c T 20.678/100 | ||
| 999 | |a Verweis |b JANSON, Agnes |c DILGER, Werner | ||
| 591 | |a description: A Uniflcation graph with constraints forintelligent backtraining in deductionSystems.1984S.DILGER,Werner. |a signature: T 2o.6781QO |a author: JANSON, Agnes |a published: 1984 | ||