The B* tree search algorithm : a best-first proof procedure
journal contribution
posted on 1987-01-01, 00:00 authored by BerlinerComputer Science Department
History
Publisher Statement
All Rights ReservedDate
1987-01-01Usage metrics
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC