Sciweavers

89
Voted
LDVF
2010
14 years 9 months ago
Meronymy Extraction Using An Automated Theorem Prover
Tim vor der Brück, Hermann Helbig