scientific article
From MaRDI portal
Publication:3949990
zbMath0488.68057MaRDI QIDQ3949990
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A metatheory of a mechanized object theory ⋮ Reasoning about reasoning in a meta-level architecture ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics
This page was built for publication:
