People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
June 4th, 2008, Julien Delnaye, exchange student, LTH, A generic automatic theorem prover for active logics and similar labeled formal systems
Julien Delnaye: Automatic Theorem Proving in Active Logics (code, a RAR file containing the report and the Prolog code itself together with example usage).
Linkedin