scientific article
From MaRDI portal
Publication:2848063
zbMath1272.68361MaRDI QIDQ2848063
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050772
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Graph-based decision for Gödel-Dummett logics ⋮ SAT-based proof search in intermediate propositional logics
This page was built for publication:
