scientific article
From MaRDI portal
Publication:3081831
zbMath1213.03077MaRDI QIDQ3081831
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
many-valued logicsmodal logicsparaconsistent logicslogical derivationformal polynomialalgebraic proof proceduresheuristics in logical proofs
Related Items