8349 search results - page 200 / 1670 » Introduction to Information Retrieval |
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
MSE
2000
IEEE
15 years 9 months ago
2000
IEEE
FOCS
1998
IEEE
15 years 9 months ago
1998
IEEE
141
click to vote
TYPES
1999
Springer
15 years 9 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...