Contents of Factasia 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 23 1999-10-07

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

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

ai004.htm Formalised Mathematics - net links 7068 16 2007-07-14

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

ai006.htm Artifical Intelligence - net links 6271 19 1999-11-15

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

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

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

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

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

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

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

ai014.htm Conceptions of the Global SuperBrain 11994 27 2004-12-23

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

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

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

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

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

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

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

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

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

ai024.htm MainFrame: Mechanisation of Mathematics 11448 24 2000-02-06

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

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

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

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

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

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

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

cs001.htm Computing with Reals 3472 14 2001-06-20

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

cslog003.htm How Computers score at Maths 4599 7 1998-08-06

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

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

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

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

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

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

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

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

xreal01-i.html 2620 13 2008-04-14

xreal01-m.html 25050 8 2008-04-14

xreal01.html Exact Real Computation in ProofPower 1176 7 2008-04-14

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

00-00-00