scientific article; zbMATH DE number 569773
From MaRDI portal
Publication:4292814
zbMath0793.68147MaRDI QIDQ4292814
Publication date: 18 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (1)
This page was built for publication: