Loris Bozzato

Loris Bozzato

Fondazione Bruno Kessler
在 fbk.eu 的电子邮件经过验证
被引用次数：393
Description Logics Constructive Logics Semantic Web
Paola Villa

Paola Villa

Joint Research Centre
在 jrc.ec.europa.eu 的电子邮件经过验证
被引用次数：104
Semantic web Description logics Constructive Logics
Robert Rothenberg

Robert Rothenberg

University of St Andrews
在 cs.st-andrews.ac.uk 的电子邮件经过验证
被引用次数：39
Proof Theory Computational Logic Non-Classical Logics Intermediate Logics Constructive Logics