scientific article
From MaRDI portal
Publication:2721209
zbMath0963.03016MaRDI QIDQ2721209
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)
This page was built for publication: