Sciweavers

116
Voted
LDVF
2010
15 years 7 days ago
Meronymy Extraction Using An Automated Theorem Prover
Tim vor der Brück, Hermann Helbig