scientific article; zbMATH DE number 1787156
From MaRDI portal
Publication:4548196
zbMath1009.68111MaRDI QIDQ4548196
Publication date: 21 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Venn diagram with names of individuals and their absence: a non-classical diagram logic ⋮ Presence and absence of individuals in diagrammatic logics: an empirical comparison ⋮ Automated theorem proving in Euler diagram systems ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ Efficient on-line algorithms for Euler diagram region computation
This page was built for publication:
