AProS
Tags: automath, apros, lab, logic, proof, computation, web, proofs, gui, prooflab, applet, online, computational, truth, history, tutor, team, search, project, functions, computations, courses, software, research, learning, automated, overview, educational, open, initiative, theses, papers, theory, set, video, incompleteness, foundation, course, carnegie, mellon,
Automath.org
|
Content Revalency:
Title: 100.00%
Description: 0.00%
Keywords: 0.00% | Document size: 13,063 bytes
More info: Whois - Trace Route - RBL Check |
|
| AUTOMATH.ORG - Site Location | |
| Country/Flag |  United States |
| City/Region/Zip Code | Arlington Heights, Illinois, 60005 |
| Organization | GigeNET |
| Internet Service Provider | GigeNET |
| AUTOMATH.ORG - Domain Information | |
| Domain | AUTOMATH.ORG [ Traceroute RBL/DNSBL lookup ] |
| Registrar | Tucows Inc. |
| Whois server | whois.pir.org |
| Created | -- |
| Updated | -- |
| Expires | -- |
| Time Left | 0 days 0 hours 0 minutes |
| Status | ok https://icann.org/epp#ok |
| DNS servers | NS.VERVEHOSTING.COM 66.235.184.5 NS2.VERVEHOSTING.COM 69.56.158.58 NS3.VERVEHOSTING.COM 66.246.72.33 |
| AUTOMATH.ORG - DNS Information | |
| IP Address | 69.65.61.160 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns2.vervehosting.com 104.145.237.82 ns.vervehosting.com 108.61.21.139 ns3.vervehosting.com 45.43.207.66 |
| Mail Exchange | automath.org |
| Site Response Header | |
| Response | HTTP/1.0 301 Moved Permanently |
| Server | Apache |
| Date | Fri, 08 Apr 2011 14:58:00 GMT |
| Content-Type | text/html; charset=UTF-8 |