CADE-17
Edit Page
Report
Scan day: 17 February 2014 UTC
18
Virus safety - good
Description: The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
17th International Conference on Automated Deduction is the major international forum for research on all aspects of automated deduction since 1974. taken during the whitewater rafting excursion on Sunday afternoon.
Size: 215 chars
Contact Information
Email:Send Message
Phone&Fax: 412 268 4740
Address: —
Extended: —
WEBSITE Info
| Page title: | CADE-17 |
| Keywords: | Conference on Automated Deduction |
| Description: | CADE-17 |
| IP-address: | 128.2.217.13 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |