Travelled to:1 × Australia
Collaborated with:∅
Talks about:reason (1) method (1) applic (1) autom (1) char (1) set (1)
Person: Wu Wen-Tsün
DBLP: Wen-Ts=uuml=n:Wu
Contributed to:
1997Wrote 1 papers:
- CADE-1997-Wen-Tsun #automation #reasoning
- The Char-Set Method and Its Applications to Automated Reasoning (WWT), pp. 1–3.