DC Proof Online
Edit Page
Report
Scan day: 09 February 2014 UTC
0
Virus safety - good
Description: New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
—
Size: 0 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | How to Write Proofs |
| Keywords: | |
| Description: | |
| IP-address: | 69.156.240.29 |
WHOIS Info
| NS | Name Server: NS1.BELLCANADAHOSTING.COM Name Server: NS2.BELLCANADAHOSTING.COM |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 11-sep-2003 Expiration Date: 11-sep-2014 |