SEARCH
-ID
Psychic analysis of AOL users
and their search logs
Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about
AOL search database scandal
or view
research papers on web searching
.
Home
>
domains
>
coq.inria.fr
Tags:
language
tools
software
programming
research
science
math
mathematics
tool
functional
theory
proof
languages
haskell
cs
algebra
assistant
computer_science
logic
ocaml
verification
coq
proofs
theorem
inria
Keyword
Results for
this URL
Total
searches
View
queries for coq.inria.fr/
.
Back to
coq.inria.fr