scientific article
From MaRDI portal
Publication:2771060
zbMath0986.68892MaRDI QIDQ2771060
Publication date: 14 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Logic in computer science (03B70) Classical propositional logic (03B05)
This page was built for publication: