Home
Random
Nearby

Log in

Settings

Donate

About Wikipedia
Disclaimers

Sergiolerner

Joined 16 September 2005

User page
Talk

Watch
View history
Contributions
Edit
More

My contribution to the Wikipedia is in computer aided theorem proofs.

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Sergiolerner&oldid=105800169"

Last edited on 5 February 2007, at 14:35

Languages

This page is not available in other languages.

This page was last edited on 5 February 2007, at 14:35 (UTC).
Content is available under CC BY-SA 4.0 unless otherwise noted.

Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Code of Conduct
Developers
Statistics
Cookie statement
Terms of Use
Desktop