scientific article
From MaRDI portal
Publication:3291529
zbMath0106.00802MaRDI QIDQ3291529
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Unnamed Item ⋮ DPLL: The Core of Modern Satisfiability Solvers ⋮ An experimental logic based on the fundamental deduction principle ⋮ THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
This page was built for publication:
