![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Hans-Christian_Reichel.jpg | 1998-06-18 08:08 | 77K | |
| acm74.pdf | 2003-04-01 07:06 | 387K | |
| acm75.pdf | 2003-04-01 07:06 | 249K | |
| ait.jpg | 2001-10-21 12:42 | 45K | |
| ait/ | 2024-05-03 14:39 | - | |
| ait0.html | 2003-08-23 04:43 | 9.0K | |
| ait2.html | 2003-08-23 04:43 | 29K | |
| ait3.html | 2003-08-23 04:43 | 26K | |
| ait4.html | 2003-08-23 04:43 | 19K | |
| ait5.html | 2003-08-23 04:43 | 18K | |
| ait6.html | 2003-08-23 04:43 | 16K | |
| ait7.html | 2003-08-23 04:43 | 24K | |
| ait8.html | 2003-08-23 04:43 | 40K | |
| ait9.html | 2003-08-23 04:43 | 17K | |
| ait10.html | 2003-08-23 04:43 | 9.2K | |
| ait11.html | 2003-08-23 04:43 | 8.6K | |
| ait12.html | 2003-08-23 04:43 | 25K | |
| ait13.html | 2003-08-23 04:43 | 9.3K | |
| cmu.html | 2004-07-12 11:37 | 59K | |
| cmu.jpg | 2003-04-09 16:19 | 59K | |
| cmu3.jpg | 2003-04-13 09:23 | 89K | |
| cr1.html | 2002-10-22 09:01 | 6.6K | |
| cr2.html | 2002-10-22 09:01 | 5.4K | |
| cup.html | 2004-12-06 12:14 | 3.8K | |
| examples.l | 1998-09-11 10:01 | 6.0K | |
| examples.r | 2003-04-28 08:09 | 18K | |
| foreword.html | 2003-04-28 08:54 | 1.2K | |
| georgia.html | 2007-04-18 11:15 | 42K | |
| godel.l | 1998-09-11 10:01 | 1.2K | |
| godel.r | 1998-09-11 10:00 | 3.0K | |
| godel2.l | 1998-09-11 10:01 | 1.1K | |
| godel2.r | 1998-09-11 10:00 | 2.4K | |
| godel3.l | 1998-09-11 10:01 | 1.4K | |
| godel3.r | 1998-09-11 10:00 | 2.9K | |
| ibm.pdf | 2003-04-01 07:07 | 206K | |
| index.html | 2007-05-24 13:41 | 5.8K | |
| inv.html | 2003-08-22 09:35 | 65K | |
| iubs.pdf | 2003-04-01 07:07 | 103K | |
| j1.jpg | 2004-06-09 14:26 | 17K | |
| j2.jpg | 2004-06-09 14:26 | 19K | |
| lisp.c | 1998-10-16 13:46 | 31K | |
| lisp.html | 2005-12-06 14:53 | 56K | |
| lisp.m | 1998-09-10 11:56 | 7.8K | |
| lm.html | 2005-12-06 11:44 | 6.5K | |
| lm.jpg | 1998-09-30 10:01 | 13K | |
| lm2.jpg | 1998-09-30 10:02 | 47K | |
| lowell.html | 2003-08-21 15:30 | 79K | |
| max.html | 2003-08-22 13:13 | 9.1K | |
| mit.pdf | 2003-04-01 07:07 | 239K | |
| nature.html | 2004-08-18 13:16 | 18K | |
| omega.l | 1998-09-11 10:01 | 601 | |
| omega.r | 1998-09-11 10:00 | 1.5K | |
| omega2.l | 1998-09-11 10:01 | 474 | |
| omega2.r | 1998-09-11 10:00 | 1.2K | |
| omega2vb.l | 1998-09-11 10:01 | 540 | |
| omega2vb.r | 1998-09-11 10:00 | 1.4K | |
| omega3.l | 1998-09-11 10:01 | 1.2K | |
| omega3.r | 1998-09-11 10:00 | 6.5K | |
| preface.html | 2003-04-28 08:51 | 3.8K | |
| ps3.html | 2003-08-21 11:59 | 5.9K | |
| rov.html | 2003-08-22 11:15 | 19K | |
| sciamer.html | 2004-08-18 13:16 | 36K | |
| sciamer2.html | 2007-05-31 10:30 | 22K | |
| sets.pdf | 2003-04-01 07:07 | 241K | |
| siam.html | 2003-08-22 04:49 | 20K | |
| sicact.pdf | 2003-04-01 07:07 | 137K | |
| svozil.html | 2000-02-09 09:49 | 3.9K | |
| unknowable/ | 2024-05-03 14:39 | - | |
| unm.html | 2003-08-28 12:49 | 55K | |
| utm.l | 1998-09-11 10:01 | 1.6K | |
| utm.r | 1998-09-11 10:00 | 3.3K | |
| vallee.pdf | 2003-06-07 05:37 | 21K | |
| ws.html | 2003-08-21 11:51 | 11K | |
| xexamples.l | 1998-09-11 10:01 | 3.2K | |
| xexamples.r | 1998-09-11 10:00 | 13K | |
| xgodel.l | 1998-09-11 10:02 | 2.1K | |
| xgodel.r | 1998-09-11 10:00 | 3.7K | |
| xgodel2.l | 1998-09-11 10:02 | 2.5K | |
| xgodel2.r | 1998-09-11 10:01 | 60K | |
| xgodel3.l | 1998-09-11 10:02 | 4.4K | |
| xgodel3.r | 1998-09-11 10:01 | 60K | |
| xomega.l | 1998-09-11 10:02 | 1.2K | |
| xomega.r | 1998-09-11 10:01 | 8.4K | |
| xomega2.l | 1998-09-11 10:02 | 1.0K | |
| xomega2.r | 1998-09-11 10:01 | 28K | |
| xomega3.l | 1998-09-11 10:02 | 2.9K | |
| xomega3.r | 1998-09-11 10:01 | 37K | |
| xutm.l | 1998-09-11 10:02 | 2.6K | |
| xutm.r | 1998-09-11 10:01 | 6.9K | |