scientific article; zbMATH DE number 3310099
From MaRDI portal
Publication:5590824
zbMath0195.03001MaRDI QIDQ5590824
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A hierarchical approach to computer Hex ⋮ Finding resolution proofs and using duplicate goals in AND/OR trees