scientific article
From MaRDI portal
Publication:3782836
zbMath0641.68136MaRDI QIDQ3782836
A. A. Voronkov, Anatoli Degtyarev
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
\(M\)-calculus -- a sequent method for automatic theorem proving ⋮ Proof-search in intuitionistic logic based on constraint satisfaction ⋮ Equality and abductive residua for Horn clauses
This page was built for publication: