scientific article
From MaRDI portal
Publication:3110608
zbMath1240.03002MaRDI QIDQ3110608
Ting Ding, Yong Huang, Weiliang Huang
Publication date: 27 January 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
This page was built for publication:
