proof-sqrt2-version1-complete.nb - File Properties
| FTP Site: | ftp.risc.uni-linz.ac.at |
| Description: | Johannes Kepler University Linz |
| Country: | Austria |
| Directory: | /pub/private/tjebelea/Lectures/ATP/2001b/Lecture-1 |
| File Name: | proof-sqrt2-version1-complete.nb |
| File Size: | 1.16 MB (1,218,102 Bytes) |
| Modified: | 17/Oct/2001 |
