scientific article; zbMATH DE number 2016837
From MaRDI portal
Publication:4439445
zbMath1027.03011MaRDI QIDQ4439445
M. Várterész, K. Pásztor Varga
Publication date: 14 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Classical propositional logic (03B05)
This page was built for publication:
