Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
understand (1) languag (1) tutori (1) deduct (1) natur (1) autom (1)
Person: Stephen G. Pulman
DBLP: Pulman:Stephen_G=
Contributed to:
Wrote 1 papers:
- CADE-2000-Pulman #automation #comprehension #deduction #named #natural language #tutorial
- Tutorial: Automated Deduction and Natural Language Understanding (SGP), pp. 509–510.