scientific article
From MaRDI portal
Publication:2926862
DOI10.13328/J.CNKI.JOS.004403zbMath1313.68215MaRDI QIDQ2926862
Sijing Lü, Zhoubo Xu, Liang Chang, Tianlong Gu
Publication date: 3 November 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
description logicfixed-point semanticsordered binary decision diagramterminological cyclesconcept subsumption
This page was built for publication: