Subsumption checking in knowledge bases / Martin Staudt ; Kai von Thadden.
Saved in:
| Personal Name(s): | Staudt, Martin. |
|---|---|
| Thadden, Kai von. | |
| Imprint: |
Aachen :
Technische Hochschule Aachen,
1995.
|
| Physical Description: |
28 S. |
| Note: |
englisch |
| Series Title: |
Aachener Informatik-Berichte ;
95-11. |
| Subject (ZB): | |
| Classification: |
| JSC | |
|---|---|
Institute  Call Number: S 006513-95-0011'01' Barcode: 1096100120
Available
|
|