Travelled to:
1 × Australia
Collaborated with:
∅
Talks about:
theoret (1) resolut (1) narrow (1) combin (1) sld (1)
Person: Akihiro Yamamoto
DBLP: Yamamoto:Akihiro
Contributed to:
Wrote 1 papers:
- ICLP-1987-Yamamoto87
- A Theoretical Combination of SLD-Resolution and Narrowing (AY), pp. 470–487.