Subtype satisfiability and entailment
| العنوان: | Subtype satisfiability and entailment |
|---|---|
| المساهمون: | Priesnitz, Tim |
| الإتاحة: | http://nbn-resolving.de/urn:nbn:de:bsz:291-scidok-12811 |
| قاعدة البيانات: | Europeana |
| الوصف غير متاح. |
| العنوان: | Subtype satisfiability and entailment |
|---|---|
| المساهمون: | Priesnitz, Tim |
| الإتاحة: | http://nbn-resolving.de/urn:nbn:de:bsz:291-scidok-12811 |
| قاعدة البيانات: | Europeana |
| الوصف غير متاح. |