scientific article
From MaRDI portal
Publication:3031955
zbMath0689.68109MaRDI QIDQ3031955
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Artificial intelligence (68T99) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
This page was built for publication: