OLD resolution with tabulation

Tamaki, H. | Sato, T.

Feb-1-1986–Classics

In ICLP-86, pp. 84–98.

artificial intelligence, old resolution, resolution, (2 more...)

Feb-1-1986

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Search (0.81)