Report - Model and Proof Theory of Constructive ALC: … · Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte ... Model and Proof Theory of Constructive ALC Constructive Description

Please pass captcha verification before submit form