scientific article
From MaRDI portal
Publication:2721191
zbMath0963.03075MaRDI QIDQ2721191
Christian G. Fermüller, Helmut Veith, Matthias Baaz
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)
This page was built for publication:
