Sciweavers

138
Voted
LDVF
2010
15 years 1 months ago
Meronymy Extraction Using An Automated Theorem Prover
Tim vor der Brück, Hermann Helbig