scientific article
From MaRDI portal
Publication:2845530
zbMath1271.68210MaRDI QIDQ2845530
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066103000239
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Automated theorem proving in Euler diagram systems ⋮ Syllogisms in rudimentary linear logic, diagrammatically
This page was built for publication:
