Model and Proof Theory of Constructive ALC: Constructive Description Logics
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Find andre tilgængelige muligheder:
| Bezeichner | |
|---|---|
| ISBN | 9783863093204 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |








