scientific article; zbMATH DE number 3298856
From MaRDI portal
Publication:5579043
zbMath0187.28402MaRDI QIDQ5579043
Publication date: 1967
Full work available at URL: https://eudml.org/doc/66373
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Method of reduction and qualitative analysis of dynamic systems. I ⋮ Three ways of recognizing inessential formulas in sequents ⋮ Synthesis of the resolution method with the inverse method ⋮ A method for the synthesis of deducibility conditions for Horn and some other formulas ⋮ The reduction method. I:
This page was built for publication:
