scientific article
From MaRDI portal
Publication:2767058
zbMath0983.03025MaRDI QIDQ2767058
James Harland, Michael Winikoff, Tatjana Lutovac
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: