scientific article; zbMATH DE number 1343458
From MaRDI portal
Publication:4267169
zbMath0948.03016MaRDI QIDQ4267169
Publication date: 14 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Abstract deductive systems (03B22)
Related Items (1)
This page was built for publication:
