This directory contains the following subdirectories:
| directory | hits |
|---|
and the following files:
| name | title | size | hits | mdate |
|---|---|---|---|---|
| ai001.htm | Artificial Intelligence | 620 | 56 | 1999-10-07 |
| ai002.htm | Automation of Deduction | 972 | 64 | 1998-08-21 |
| ai003.htm | Automation of Reasoning Netlinks | 10473 | 51 | 2004-12-06 |
| ai004.htm | Formalised Mathematics - net links | 7604 | 53 | 2009-08-13 |
| ai005.htm | Mechanisation of Mathematics - net links | 6995 | 52 | 2001-10-18 |
| ai006.htm | Artifical Intelligence - net links | 6223 | 63 | 2012-01-19 |
| ai007.htm | Artificial Intelligence - ruminations | 3541 | 22 | 1998-08-08 |
| ai008.htm | Mechanisation of Mathematics | 648 | 68 | 2000-02-06 |
| ai009.htm | Formalised Mathematics | 461 | 110 | 1998-08-14 |
| ai010.htm | Math by Proof - What is it, and why should we? | 2577 | 43 | 1998-08-07 |
| ai011.htm | What is Intelligence? | 2396 | 41 | 1998-09-27 |
| ai012.htm | A Topography for Artificial Intelligence | 495 | 48 | 1998-08-28 |
| ai013.htm | The Analytic Superbrain | 4211 | 70 | 1999-10-07 |
| ai014.htm | Conceptions of the Global SuperBrain | 11977 | 87 | 2009-03-24 |
| ai015.htm | Dimensions of the Global SuperBrain | 5067 | 47 | 1999-10-07 |
| ai016.htm | The Singularity | 1595 | 27 | 1998-08-06 |
| ai017.htm | The Global SuperBrain | 803 | 66 | 1999-10-19 |
| ai018.htm | IndexFrame: The Global SuperBrain | 1335 | 52 | 1999-10-07 |
| ai019.htm | MainFrame: The Global SuperBrain | 11412 | 62 | 1999-10-07 |
| ai020.htm | Combinatorial Explosion - How to Beat it | 3206 | 24 | 1998-08-06 |
| ai021.htm | IndexFrame: Artificial Intelligence | 1429 | 50 | 1998-09-27 |
| ai022.htm | MainFrame: Artificial Intelligence | 13362 | 173 | 2003-04-25 |
| ai023.htm | IndexFrame: Mechanisation of Mathematics | 1265 | 47 | 1998-09-27 |
| ai024.htm | MainFrame: Mechanisation of Mathematics | 11449 | 64 | 2009-05-09 |
| ai025.htm | IndexFrame: A Topography for Artificial Intelligence | 1250 | 56 | 1998-10-01 |
| ai026.htm | MainFrame: A Topography for Artificial Intelligence | 14295 | 52 | 1999-10-07 |
| ai027.htm | IndexFrame: Formalised Mathematics | 1199 | 76 | 1999-10-07 |
| ai028.htm | MainFrame: Formalised Mathematics | 10836 | 77 | 1999-10-07 |
| ai029.htm | Symbolic Mathematical Computation | 659 | 54 | 2000-02-18 |
| ai030.htm | IndexFrame: Symbolic Mathematical Computation | 1346 | 58 | 2000-02-18 |
| ai031.htm | MainFrame: Symbolic Mathematical Computation | 13392 | 58 | 2000-02-18 |
| cs001.htm | Computing with Reals | 3471 | 53 | 2009-05-09 |
| cs002.htm | Addition over Computable Reals | 952 | 23 | 1996-07-23 |
| cs003.htm | Computer Science? | 1689 | 22 | 1996-07-23 |
| cs004.htm | Representing Computable Reals | 5082 | 50 | 1998-07-17 |
| cs005.htm | Computing Netlinks | 485 | 50 | 2000-02-01 |
| cs006.htm | Computing with Reals - some history | 15386 | 68 | 1999-05-01 |
| cs007.htm | Calculation and Proof | 1779 | 22 | 1998-10-01 |
| cs008.htm | Not-So-Good Candidates | 5826 | 27 | 2001-06-20 |
| cs009.htm | Good Candidates for Computable Reals | 7972 | 25 | 1999-04-28 |
| cs010.htm | Computing with Reals - motivation | 3049 | 53 | 1998-07-17 |
| cs011.htm | Implementation of Computation with Reals | 3143 | 52 | 2006-05-28 |
| cs012.htm | Commodity Computing | 2265 | 28 | 1997-09-21 |
| cs013.htm | IndexFrame: Factasia Computing | 1326 | 54 | 1999-10-21 |
| cs014.htm | MainFrame: Factasia Computing | 12515 | 59 | 1999-10-21 |
| cs015.htm | IndexFrame: Factasia Computing Netlinks | 1793 | 40 | 2000-03-11 |
| cs016.htm | MainFrame: Factasia Computing Netlinks | 22849 | 53 | 2011-07-11 |
| cs017.htm | The factasia CORBA/UML links page | 2924 | 26 | 2000-04-03 |
| csfm01.htm | Formal Methods for Information Systems Engineering | 1966 | 76 | 1999-10-19 |
| csfm02.htm | Formal Specification Languages | 9476 | 184 | 2011-08-06 |
| csfm03.htm | The Z Specification Language | 2016 | 234 | 1999-09-19 |
| csfm04.htm | On The Semantics of Z | 2050 | 82 | 1996-07-25 |
| csfm05.htm | Issues in the Semantics of Z | 888 | 44 | 1996-07-25 |
| csfm06.htm | Background (On The Semantics of Z) | 3118 | 25 | 1999-05-02 |
| csfm07.htm | The Treatment of Undefinedness in Z | 3364 | 63 | 1998-08-06 |
| cslog001.htm | The LCF Paradigm | 3879 | 75 | 1998-08-06 |
| cslog002.htm | Computers and Maths | 3549 | 23 | 1998-08-06 |
| cslog003.htm | How Computers score at Maths | 4598 | 23 | 2009-05-09 |
| cslog004.htm | Systems Integration and Logic | 3219 | 22 | 1998-08-06 |
| cslog005.htm | Logic and Computing | 598 | 21 | 1999-10-07 |
| cslog006.htm | IndexFrame: Logic and Computing | 983 | 42 | 1999-10-07 |
| cslog007.htm | MainFrame: Logic and Computing | 2842 | 34 | 1999-10-07 |
| dr000.htm | The Digital Revolution | 3676 | 30 | 1998-08-01 |
| dr001.htm | Digital to Logical - the evolution of data representation | 2655 | 29 | 1998-08-06 |
| index.htm | Factasia Computing | 545 | 60 | 1999-10-12 |
| sec001.htm | Security Net-Links | 2492 | 46 | 1999-12-01 |
| xreal01-i.html | 3110 | 27 | 2012-09-28 | |
| xreal01-m.html | Exact Real Computation in ProofPower | 25669 | 34 | 2012-09-28 |
| xreal01.html | Exact Real Computation in ProofPower | 1176 | 25 | 2012-09-28 |
00-00-00