Contents of RBJones.com directory: rbjpub/cs

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directory	hits

and the following files:

name title size hits mdate

ai001.htm Artificial Intelligence 620 95 1999-10-07

ai002.htm Automation of Deduction 972 89 1998-08-21

ai003.htm Automation of Reasoning Netlinks 10473 95 2004-12-06

ai004.htm Formalised Mathematics - net links 7604 83 2009-08-13

ai005.htm Mechanisation of Mathematics - net links 6995 58 2001-10-18

ai006.htm Artifical Intelligence - net links 6148 60 2009-11-14

ai007.htm Artificial Intelligence - ruminations 3541 26 1998-08-08

ai008.htm Mechanisation of Mathematics 648 126 2000-02-06

ai009.htm Formalised Mathematics 461 273 1998-08-14

ai010.htm Math by Proof - What is it, and why should we? 2577 73 1998-08-07

ai011.htm What is Intelligence? 2396 54 1998-09-27

ai012.htm A Topography for Artificial Intelligence 495 75 1998-08-28

ai013.htm The Analytic Superbrain 4211 120 1999-10-07

ai014.htm Conceptions of the Global SuperBrain 11977 116 2009-03-24

ai015.htm Dimensions of the Global SuperBrain 5067 53 1999-10-07

ai016.htm The Singularity 1595 21 1998-08-06

ai017.htm The Global SuperBrain 803 89 1999-10-19

ai018.htm IndexFrame: The Global SuperBrain 1335 50 1999-10-07

ai019.htm MainFrame: The Global SuperBrain 11412 65 1999-10-07

ai020.htm Combinatorial Explosion - How to Beat it 3206 33 1998-08-06

ai021.htm IndexFrame: Artificial Intelligence 1429 62 1998-09-27

ai022.htm MainFrame: Artificial Intelligence 13362 276 2003-04-25

ai023.htm IndexFrame: Mechanisation of Mathematics 1265 67 1998-09-27

ai024.htm MainFrame: Mechanisation of Mathematics 11449 95 2009-05-09

ai025.htm IndexFrame: A Topography for Artificial Intelligence 1250 46 1998-10-01

ai026.htm MainFrame: A Topography for Artificial Intelligence 14295 58 1999-10-07

ai027.htm IndexFrame: Formalised Mathematics 1199 110 1999-10-07

ai028.htm MainFrame: Formalised Mathematics 10836 157 1999-10-07

ai029.htm Symbolic Mathematical Computation 659 55 2000-02-18

ai030.htm IndexFrame: Symbolic Mathematical Computation 1346 68 2000-02-18

ai031.htm MainFrame: Symbolic Mathematical Computation 13392 77 2000-02-18

cs001.htm Computing with Reals 3471 64 2009-05-09

cs002.htm Addition over Computable Reals 952 20 1996-07-23

cs003.htm Computer Science? 1689 20 1996-07-23

cs004.htm Representing Computable Reals 5082 55 1998-07-17

cs005.htm Computing Netlinks 485 109 2000-02-01

cs006.htm Computing with Reals - some history 15386 133 1999-05-01

cs007.htm Calculation and Proof 1779 24 1998-10-01

cs008.htm Not-So-Good Candidates 5826 30 2001-06-20

cs009.htm Good Candidates for Computable Reals 7972 26 1999-04-28

cs010.htm Computing with Reals - motivation 3049 52 1998-07-17

cs011.htm Implementation of Computation with Reals 3143 48 2006-05-28

cs012.htm Commodity Computing 2265 32 1997-09-21

cs013.htm IndexFrame: Factasia Computing 1326 74 1999-10-21

cs014.htm MainFrame: Factasia Computing 12515 100 1999-10-21

cs015.htm IndexFrame: Factasia Computing Netlinks 1793 47 2000-03-11

cs016.htm MainFrame: Factasia Computing Netlinks 23573 87 2004-11-06

cs017.htm The factasia CORBA/UML links page 2924 33 2000-04-03

csfm01.htm Formal Methods for Information Systems Engineering 1966 95 1999-10-19

csfm02.htm Formal Specification Languages 9428 225 1999-10-19

csfm03.htm The Z Specification Language 2016 291 1999-09-19

csfm04.htm On The Semantics of Z 2050 97 1996-07-25

csfm05.htm Issues in the Semantics of Z 888 43 1996-07-25

csfm06.htm Background (On The Semantics of Z) 3118 30 1999-05-02

csfm07.htm The Treatment of Undefinedness in Z 3364 52 1998-08-06

cslog001.htm The LCF Paradigm 3879 67 1998-08-06

cslog002.htm Computers and Maths 3549 23 1998-08-06

cslog003.htm How Computers score at Maths 4598 21 2009-05-09

cslog004.htm Systems Integration and Logic 3219 19 1998-08-06

cslog005.htm Logic and Computing 598 23 1999-10-07

cslog006.htm IndexFrame: Logic and Computing 983 39 1999-10-07

cslog007.htm MainFrame: Logic and Computing 2842 38 1999-10-07

dr000.htm The Digital Revolution 3676 36 1998-08-01

dr001.htm Digital to Logical - the evolution of data representation 2655 31 1998-08-06

index.htm Factasia Computing 545 115 1999-10-12

sec001.htm Security Net-Links 2492 46 1999-12-01

xreal01-i.html 3110 34 2010-03-02

xreal01-m.html Exact Real Computation in ProofPower 25669 40 2010-03-02

xreal01.html Exact Real Computation in ProofPower 1176 25 2010-03-02

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

00-00-00