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: |
| LEADER | 00777cam a2200229 n 4500 | ||
|---|---|---|---|
| 001 | 144295 | ||
| 005 | 19970603000000.0 | ||
| 008 | r1995 | ||
| 035 | |a (Sirsi) a128222 | ||
| 084 | 0 | |a DYE - Expert systems |2 ZB | |
| 245 | 0 | 0 | |a Subsumption checking in knowledge bases / |c Martin Staudt ; Kai von Thadden. |
| 260 | |a Aachen : |b Technische Hochschule Aachen, |c 1995. | ||
| 300 | |a 28 S. | ||
| 490 | 0 | |a Aachener Informatik-Berichte ; |v 95-11. | |
| 500 | |a englisch | ||
| 596 | |a 34 | ||
| 650 | 4 | |a knowledge based system | |
| 700 | 1 | |a Staudt, Martin. | |
| 700 | 1 | |a Thadden, Kai von. | |
| 900 | |a S 006513-95-0011'01' | ||
| 908 | |a Bericht, Gutachten | ||
| 949 | |a S 006513-95-0011'01' |w LC |c 1 |i 1096100120 |d 22/11/2007 |l STACKS |m JSC |r Y |s Y |t INSTB |u 25/3/2009 |x INST-D |1 PRINT | ||