scientific article
From MaRDI portal
Publication:3996892
zbMath0707.26001MaRDI QIDQ3996892
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
An effective two-level proof-number search algorithm ⋮ Proof-Number Search and Its Variants ⋮ Equivalent formulations of the gradient
This page was built for publication: