Semantic Interpretation as Higher-Order Deduction

Logics in AI: European Workshop JELIA'90, Springer-Verlag, Berlin, Germany, Amsterdam, Holland(1991), pp. 78-96

Abstract

Research Areas