Uli Sattler · 5 obras en el catálogoObrasAutomated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 ProceedingsIntelligent Information Processing VIIDescription Logic, Theory Combination, and All ThatIIntroduction to Description LogicIntroduction to Description LogicFFrontiers of Combining SystemsFrontiers of Combining Systems
Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings