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 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

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