(Q56474532)

English

The B∗ tree search algorithm: A best-first proof procedure

article published in 1979

Statements

The B∗ tree search algorithm: A best-first proof procedure (English)
0 references
Hans Berliner
0 references
May 1979
0 references
12
0 references
23-40
0 references
1
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit