Sciweavers

12452 search results - page 157 / 2491
» An exploration of program as language
Sort
View
LDVF
2010
15 years 1 months ago
Meronymy Extraction Using An Automated Theorem Prover
Tim vor der Brück, Hermann Helbig