DMCA

Towards Typed Higher-Order Description Logics

by Martin Homola , Vojtěch Svátek , Miroslav Vacura
Citations:3 - 3 self