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)
This page was built for publication: