scientific article
From MaRDI portal
Publication:4003933
zbMath0747.00023MaRDI QIDQ4003933
No author found.
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (2)
In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Connection calculus theorem proving with multiple built-in theories
This page was built for publication:
