TABLEAUX'99
Edit Page
Report
Scan day: 17 February 2014 UTC
79
Virus safety - good
Description: Saratoga Springs, NY, USA; 7--11 June 1999.
Analytic Tableaux and Related Methods tel. 1-800-274-3573, fax. (518) 583-2543 REGISTRATION and TRANSPORTATION information This conference is a continuation of international meetings on Theorem Proving with Analytic Tableaux and Related Methods
Size: 244 chars
Contact Information
Email:Send Message
Phone&Fax: 800-274-3573
Address: —
Extended: —
WEBSITE Info
| Page title: | TABLEAUX'99 |
| Keywords: | |
| Description: | |
| IP-address: | 169.226.2.104 |
WHOIS Info
| NS | Name Servers: NS1.ALBANY.EDU 169.226.1.12, 2620:89:8000:12d::c NS2.ALBANY.EDU 169.226.46.100, 2620:89:8000:2e::64 |
| WHOIS | |
| Date | activated: 27-Feb-1987 last updated: 25-Jun-2013 expires: 31-Jul-2014 |