Sciweavers

KR
1989
Springer

Subsumption in KL-ONE is Undecidable

14 years 2 months ago
Subsumption in KL-ONE is Undecidable
Manfred Schmidt-Schauß
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1989
Where KR
Authors Manfred Schmidt-Schauß
Comments (0)