Report - Fachberichte INFORMATIK - Landau · edged inferential apparatus, where the inferential activity is viewed as consisting of two phases. First, a translation phase carries a (propositional)

Please pass captcha verification before submit form