Index of /logic4sure/TLM

 Name                    Last modified       Size  Description

 Parent Directory        15-Jul-2009 22:00      -  
 language.jpg            06-Dec-2007 18:29    27k  
 Actor_Prolog_is_avai..> 06-Dec-2007 18:49     2k  
 BAT_file_to_reassemb..> 07-Dec-2007 16:15     1k  
 Adm._Grace_Hopper-19..> 07-Dec-2007 16:24    12k  
 rename_this_file_to_..> 07-Dec-2007 16:24    39k  
 Alfred_Horn.html        07-Dec-2007 16:27     8k  
 evolution.zip           07-Dec-2007 16:27    17k  
 Demoen_on_types.txt     09-Feb-2008 10:50     4k  
 what_I_would_like.txt   09-Feb-2008 10:56     2k  
 mysorts.zip             28-Apr-2008 17:50    52k  
 13jul93-reality.txt     12-Mar-2009 13:43     4k  
 Arundhati_Roy-The_An..> 12-Mar-2009 13:43    42k  
 Business_Rules_in_Pr..> 12-Mar-2009 13:43    14k  
 Kevin_Knuth_-_Uncert..> 12-Mar-2009 13:43   1.4M  
 Kevin_Knuth_-_What_i..> 12-Mar-2009 13:48   367k  
 Kevin_Knuth_-_Lattic..> 12-Mar-2009 13:49   364k  
 Devinder_Singh--Baye..> 12-Mar-2009 13:59   809k  
 e_t_jaynes--plausibl..> 12-Mar-2009 14:04   2.5M  
 e_t_jaynes--what_is_..> 12-Mar-2009 14:06   1.3M  
 Robert_Fry--Computat..> 12-Mar-2009 14:27   145k  
 Robert_Fry--The_Engi..> 12-Mar-2009 14:28    26k  
 Kevin_Knuth_-_Induct..> 12-Mar-2009 14:36    57k  
 Kevin_Knuth_-_Automa..> 12-Mar-2009 14:44   259k  
 Kevin_Knuth_-_Derivi..> 12-Mar-2009 14:46   201k  
 Kevin_Knuth_-_Source..> 12-Mar-2009 14:48    47k  
 BayesForBeginners.pdf   12-Mar-2009 14:56   176k  
 Human_viruses_kill_g..> 13-Mar-2009 22:03    48k  
 R_E_Davis-Executable..> 13-Mar-2009 22:03     3k  
 Triska_--_Are_cuts_t..> 13-Mar-2009 22:03     3k  
 bell_numbers_pl.txt     13-Mar-2009 22:06     5k  
 between.txt             13-Mar-2009 22:06     3k  
 proFESSORSlogIC.txt     13-Mar-2009 23:20     3k  
 20_basic_finite_stat..> 13-Mar-2009 23:33   158k  
 24apr93-what_precede..> 13-Mar-2009 23:33     4k  
 work_from_definition..> 13-Mar-2009 23:33     4k  
 Converting_between_r..> 13-Mar-2009 23:59     2k  
 tlm-skills.html         14-Jul-2009 22:47    15k  
 demo.zip                15-Jul-2009 19:58   454k  
 sources.zip             15-Jul-2009 19:59   233k