scientific article; zbMATH DE number 3275610
From MaRDI portal
Publication:5559273
zbMath0173.01704MaRDI QIDQ5559273
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Finding resolution proofs and using duplicate goals in AND/OR trees, An admissible and optimal algorithm for searching AND/OR graphs