scientific article
From MaRDI portal
Publication:4012173
zbMath0745.68092MaRDI QIDQ4012173
Fausto Giunchiglia, Paolo Traverso
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Second- and higher-order model theory (03C85)
Related Items (4)
A multicontext architecture for formalizing complex reasoning ⋮ Program tactics and logic tactics ⋮ GETFOL ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics
Uses Software
This page was built for publication:
