UP

Contents of Factasia directory: rbjpub/cs

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directoryhits

and the following files:
nametitlesizehitsmdate
ai001.htmArtificial Intelligence620231999-10-07
ai002.htmAutomation of Deduction972171998-08-21
ai003.htmAutomation of Reasoning Netlinks10473132004-12-06
ai004.htmFormalised Mathematics - net links7068162007-07-14
ai005.htmMechanisation of Mathematics - net links6995152001-10-18
ai006.htmArtifical Intelligence - net links6271191999-11-15
ai007.htmArtificial Intelligence - ruminations354161998-08-08
ai008.htmMechanisation of Mathematics648272000-02-06
ai009.htmFormalised Mathematics461401998-08-14
ai010.htmMath by Proof - What is it, and why should we?2577231998-08-07
ai011.htmWhat is Intelligence?2396131998-09-27
ai012.htmA Topography for Artificial Intelligence495201998-08-28
ai013.htmThe Analytic Superbrain4211221999-10-07
ai014.htmConceptions of the Global SuperBrain11994272004-12-23
ai015.htmDimensions of the Global SuperBrain5067151999-10-07
ai016.htmThe Singularity1595111998-08-06
ai017.htmThe Global SuperBrain803211999-10-19
ai018.htmIndexFrame: The Global SuperBrain1335111999-10-07
ai019.htmMainFrame: The Global SuperBrain11412141999-10-07
ai020.htmCombinatorial Explosion - How to Beat it3206101998-08-06
ai021.htmIndexFrame: Artificial Intelligence1429211998-09-27
ai022.htmMainFrame: Artificial Intelligence13362632003-04-25
ai023.htmIndexFrame: Mechanisation of Mathematics1265181998-09-27
ai024.htmMainFrame: Mechanisation of Mathematics11448242000-02-06
ai025.htmIndexFrame: A Topography for Artificial Intelligence1250191998-10-01
ai026.htmMainFrame: A Topography for Artificial Intelligence14295171999-10-07
ai027.htmIndexFrame: Formalised Mathematics1199241999-10-07
ai028.htmMainFrame: Formalised Mathematics10836291999-10-07
ai029.htmSymbolic Mathematical Computation659172000-02-18
ai030.htmIndexFrame: Symbolic Mathematical Computation1346182000-02-18
ai031.htmMainFrame: Symbolic Mathematical Computation13392202000-02-18
cs001.htmComputing with Reals3472142001-06-20
cs002.htmAddition over Computable Reals95281996-07-23
cs003.htmComputer Science?168971996-07-23
cs004.htmRepresenting Computable Reals5082141998-07-17
cs005.htmComputing Netlinks485182000-02-01
cs006.htmComputing with Reals - some history15386211999-05-01
cs007.htmCalculation and Proof177991998-10-01
cs008.htmNot-So-Good Candidates5826122001-06-20
cs009.htmGood Candidates for Computable Reals797291999-04-28
cs010.htmComputing with Reals - motivation3049131998-07-17
cs011.htmImplementation of Computation with Reals3143132006-05-28
cs012.htmCommodity Computing2265151997-09-21
cs013.htmIndexFrame: Factasia Computing1326241999-10-21
cs014.htmMainFrame: Factasia Computing12515251999-10-21
cs015.htmIndexFrame: Factasia Computing Netlinks1793152000-03-11
cs016.htmMainFrame: Factasia Computing Netlinks23573192004-11-06
cs017.htmThe factasia CORBA/UML links page2924142000-04-03
csfm01.htmFormal Methods for Information Systems Engineering1966221999-10-19
csfm02.htmFormal Specification Languages9428371999-10-19
csfm03.htmThe Z Specification Language2016501999-09-19
csfm04.htmOn The Semantics of Z2050161996-07-25
csfm05.htmIssues in the Semantics of Z888141996-07-25
csfm06.htmBackground (On The Semantics of Z)311871999-05-02
csfm07.htmThe Treatment of Undefinedness in Z3364161998-08-06
cslog001.htmThe LCF Paradigm3879261998-08-06
cslog002.htmComputers and Maths354981998-08-06
cslog003.htmHow Computers score at Maths459971998-08-06
cslog004.htmSystems Integration and Logic3219111998-08-06
cslog005.htmLogic and Computing59861999-10-07
cslog006.htmIndexFrame: Logic and Computing983101999-10-07
cslog007.htmMainFrame: Logic and Computing284281999-10-07
dr000.htmThe Digital Revolution3676141998-08-01
dr001.htmDigital to Logical - the evolution of data representation2655151998-08-06
index.htmFactasia Computing545231999-10-12
sec001.htmSecurity Net-Links2492111999-12-01
xreal01-i.html2620132008-04-14
xreal01-m.html2505082008-04-14
xreal01.htmlExact Real Computation in ProofPower117672008-04-14


up home rbj 00-00-00