scientific article; zbMATH DE number 1552534
From MaRDI portal
Publication:4524794
zbMath0971.68141MaRDI QIDQ4524794
Publication date: 30 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Steps toward a computational metaphysics ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Higher-Order Multi-Valued Resolution