scientific article; zbMATH DE number 1926640
From MaRDI portal
Publication:4707768
zbMath1012.68190MaRDI QIDQ4707768
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2408/24080253.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Logic programming (68N17)
Related Items (5)
Completing causal networks by meta-level abduction ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics
This page was built for publication:
