scientific article; zbMATH DE number 956589
From MaRDI portal
Publication:5686979
zbMath0859.68096MaRDI QIDQ5686979
Publication date: 11 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Subsystems of classical logic (including intuitionistic logic) (03B20)