scientific article
From MaRDI portal
Publication:3838809
zbMath0903.03032MaRDI QIDQ3838809
Publication date: 5 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Complexity of proofs (03F20)
This page was built for publication: