scientific article; zbMATH DE number 2079533
From MaRDI portal
Publication:4471536
zbMath1088.68773MaRDI QIDQ4471536
Andrei Paskevich, Konstantin Verchinine, Anatoli Degtyarev, Alexander Lyaletski
Publication date: 28 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Evidence algorithm and inference search in first-order logics ⋮ SAD as a mathematical assistant -- how should we go from here to there? ⋮ Glushkov's evidence algorithm ⋮ Sequent forms of Herbrand theorem and their applications
Uses Software
