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