proof-sqrt2-version0-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-6 |
| File Name: | proof-sqrt2-version0-complete.nb |
| File Size: | 2.02 MB (2,116,661 Bytes) |
| Modified: | 27/Nov/2001 |
