Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.

Volker Haarslev, Ralf Möller

OriginalspracheEnglisch
TitelDescription Logics
Erscheinungsdatum2002
PublikationsstatusVeröffentlicht - 2002

Zitieren