scientific article
From MaRDI portal
Publication:3532209
zbMath1158.03018MaRDI QIDQ3532209
Publication date: 3 November 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Fibered categories (18D30)
Related Items (2)
Embedding Constructive K into Intuitionistic K ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
This page was built for publication:
