scientific article; zbMATH DE number 2019872
From MaRDI portal
Publication:4440568
zbMath1036.03031MaRDI QIDQ4440568
Publication date: 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
paraconsistencylogic programminginconsistency-adaptive logicsnonmonotonicityparaconsistent proof procedure
This page was built for publication: