scientific article; zbMATH DE number 1416103
From MaRDI portal
Publication:4943319
zbMath0946.68034MaRDI QIDQ4943319
Jarosław Kachniarz, Andrzej Szałas, Patrick Doherty
Publication date: 16 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals ⋮ The possibilistic Horn non-clausal knowledge bases
This page was built for publication:
