scientific article; zbMATH DE number 3335934
From MaRDI portal
zbMath0212.03004MaRDI QIDQ5613198
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Tautology testing with a generalized matrix reduction method, Non-elementary speed-ups in proof length by different variants of classical analytic calculi, Partial inductive definitions, Proof-search in intuitionistic logic based on constraint satisfaction, A comparative study of several proof procedures
