scientific article; zbMATH DE number 3395450
From MaRDI portal
Publication:5663463
zbMath0249.73043MaRDI QIDQ5663463
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Analytic tableaux for higher-order logic with choice ⋮ A unification algorithm for typed \(\bar\lambda\)-calculus
This page was built for publication: