scientific article; zbMATH DE number 3415412
From MaRDI portal
Publication:5679732
zbMath0263.68049MaRDI QIDQ5679732
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Evidence algorithm and inference search in first-order logics ⋮ To Vladimir Lifschitz on His 65th Birthday ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Unnamed Item ⋮ Linear resolution with selection function