FTP Site: | ftp.cs.yorku.ca | Scan Date: | 27/Apr/2014 |
Description: | York University | Total Dirs: | 70 |
Country: | Canada | Total Files: | 163 |
PDF Report: | ftp.cs.yorku.ca.pdf | Total Data: | 769.04 MB |
File Name | Modified | File Size | |
---|---|---|---|
CNN-Ossama.zip | 16/May/2013 | 593.76 MB | |
cs233089.tar.gz | 28/Sep/2009 | 52.72 MB | |
ForGeoffrey.zip | 13/Nov/2011 | 47.46 MB | |
ME-Slides.zip | 30/Aug/2012 | 11.76 MB | |
qapl07.tar.gz | 08/Aug/2007 | 8.74 MB | |
stateclock.tar.Z | 25/Apr/2001 | 6.96 MB | |
NeoLib_421.bin | 12/Nov/2003 | 4.00 MB | |
StateClock_old.tar.Z | 30/Oct/1996 | 3.98 MB | |
gries3.ps.Z | 12/Oct/1994 | 3.74 MB | |
light_present.ppt | 26/Jul/1999 | 2.46 MB | |
memex-for-pc.zip | 08/Aug/1997 | 2.45 MB | |
memex-for-mac.sea | 08/Aug/1997 | 2.42 MB | |
gries1.ps.Z | 12/Oct/1994 | 2.11 MB | |
build.im.Z | 05/Oct/1995 | 1.86 MB | |
tose4.frame.mif | 07/Jun/1998 | 1.68 MB | |
ecase_point2.zip | 20/May/1999 | 1.35 MB | |
ecase_point.zip | 18/May/1999 | 1.35 MB | |
tose4.ps | 27/May/1998 | 1.22 MB | |
tosem3.ps | 07/Oct/1997 | 1.22 MB | |
libXg.utf.fonts.tar.gz | 12/Feb/2003 | 1.09 MB | |
wang | 19/May/2004 | 921.41 KB | |
tautology | 19/May/2004 | 913.30 KB | |
gries2.ps.Z | 12/Oct/1994 | 909.95 KB | |
theories.frm.ps.Z | 18/Apr/1994 | 730.36 KB | |
tose4.frame.bin | 07/Jun/1998 | 702.00 KB | |
cs.etr94.07.ps.Z | 13/Sep/1994 | 589.98 KB | |
cs.etr94.08.ps.Z | 13/Sep/1994 | 585.52 KB | |
FlexOr.tar.Z | 21/Mar/1996 | 572.98 KB | |
build.changes.Z | 05/Oct/1995 | 559.73 KB | |
logicE_ens.ps.Z | 06/Jan/2000 | 553.78 KB | |
wily-0.13.42.tar.gz | 06/Apr/2006 | 476.35 KB | |
wily-0.13.41-1.src.rpm | 03/Oct/2000 | 474.58 KB | |
wily-0.13.41.tgz | 16/Jun/1998 | 472.10 KB | |
tose4.ps.Z | 27/May/1998 | 466.18 KB | |
tosem3.ps.Z | 03/Sep/1997 | 459.37 KB | |
wily-0.13.41-1.i386.rpm | 03/Oct/2000 | 446.88 KB | |
survey.ps | 11/Apr/1995 | 421.68 KB | |
9libs-1.0.1.tar.gz | 06/Apr/2006 | 395.55 KB | |
logic.sanders.ps.Z | 24/Aug/1994 | 387.13 KB | |
wily-0.13.41-2.i386.rpm | 05/Mar/2002 | 377.78 KB | |
cs.etr94.06.ps.Z | 13/Sep/1994 | 326.40 KB | |
wily-0.13.41-2.src.rpm | 05/Mar/2002 | 310.72 KB | |
wily-0.13.33.tgz | 02/May/2000 | 306.92 KB | |
wily-0.9.8.tgz | 02/May/2000 | 267.19 KB | |
wily-0.12.11.tgz | 02/May/2000 | 257.26 KB | |
case95.extended.pdf | 02/Oct/1995 | 231.00 KB | |
9libs-1.0-1.src.rpm | 05/Mar/2002 | 221.59 KB | |
logicE_ens.pdf | 06/Jan/2000 | 212.45 KB | |
verify251.tar.Z | 08/May/1994 | 211.39 KB | |
tose4.pdf | 27/May/1998 | 210.03 KB | |
wily.gz | 23/Jan/2003 | 196.58 KB | |
9libs-1.0.tar.gz | 21/Aug/1999 | 195.33 KB | |
tosem3.pdf | 03/Sep/1997 | 188.91 KB | |
wily-9libs-0.13.42.tar.gz | 06/Apr/2006 | 167.20 KB | |
tcs.shar.gz | 12/Feb/2003 | 158.90 KB | |
survey.tex | 19/Jun/1997 | 153.20 KB | |
ionescu.zip | 30/Mar/2000 | 147.98 KB | |
induction | 13/Feb/2007 | 130.90 KB | |
verify31.tar.Z | 08/May/1994 | 122.61 KB | |
elizakit.sea.bin | 10/Jun/2003 | 122.38 KB | |
wily-9libs.tar.gz | 21/Aug/1999 | 122.31 KB | |
9libs-1.0-1.i386.rpm | 05/Mar/2002 | 121.06 KB | |
wang | 01/Aug/2006 | 110.12 KB | |
tose4.txt | 23/Jul/1998 | 109.91 KB | |
tautology | 09/Jan/2007 | 104.06 KB | |
theories.dvi | 28/Jul/1994 | 95.91 KB | |
verify.ps.Z | 12/Oct/1994 | 85.76 KB | |
logic.2090.ps.Z | 03/Oct/1994 | 84.34 KB | |
elizakit.exe | 10/Jun/2003 | 77.01 KB | |
lawford.cdc.ps.Z | 31/Oct/1994 | 76.36 KB | |
libutf-2.10.tar.gz | 08/May/2003 | 53.81 KB | |
perl-0.06.tgz | 16/Jun/1998 | 52.35 KB | |
gries4.ps.Z | 12/Oct/1994 | 47.54 KB | |
ChangeLog | 06/Apr/2006 | 45.50 KB | |
verify.tex | 08/May/1994 | 37.53 KB | |
perl-0.03.tar.gz | 23/Apr/1997 | 30.72 KB | |
9libs-devel-1.0-1.i386.rpm | 05/Mar/2002 | 27.99 KB | |
utftools-1.6.tar.gz | 08/May/2003 | 25.68 KB | |
symbex.pl | 11/Mar/2007 | 19.68 KB | |
TempLog.TT.bin | 07/Jun/1998 | 19.12 KB | |
simp.pl | 25/Dec/2006 | 13.02 KB | |
induction.pl | 13/Feb/2007 | 12.33 KB | |
GNU.GeneralPublicLicense | 13/Dec/1990 | 12.20 KB | |
simp.prolog | 15/May/2003 | 11.87 KB | |
wp.pl | 20/Sep/2007 | 11.66 KB | |
wilymodule.c | 23/Apr/1997 | 10.86 KB | |
FlexOr.InstallInstructions | 15/Jun/1995 | 10.07 KB | |
wily.c | 23/Apr/1997 | 9.99 KB | |
trost | 07/Sep/1997 | 7.15 KB | |
wilytools.tgz | 03/Feb/2003 | 5.88 KB | |
wang.pl | 05/Dec/2002 | 5.46 KB | |
macros.tgz | 23/Apr/1997 | 4.77 KB | |
win.c | 23/Apr/1997 | 4.68 KB | |
wang.pl | 04/Jun/2000 | 4.51 KB | |
wang.prolog | 29/Jul/2002 | 4.23 KB | |
wang.prolog | 04/Apr/1999 | 3.84 KB | |
defs | 23/Apr/1997 | 3.40 KB | |
tautology.prolog | 29/Jul/2002 | 3.35 KB | |
tautology.pl | 04/Nov/2002 | 3.23 KB | |
tautology.pl | 31/Jul/2006 | 3.09 KB |