scientific article; zbMATH DE number 2024622
From MaRDI portal
Publication:4443197
zbMath1036.03510MaRDI QIDQ4443197
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Socratic proofs ⋮ Paranegations and the square of oppositions ⋮ Synthetic tableaux: Minimal tableau search heuristics
This page was built for publication:
