Sciweavers

KR
1989
Springer

Subsumption in KL-ONE is Undecidable

15 years 26 days 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)