Index of /home/rjw/csg120/programs/logic

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]hw4-data.lisp 2003-10-14 12:41 591  
[TXT]bchain.handout 2003-10-08 15:10 10K 
[TXT]pc-infer.handout 2003-10-02 12:36 2.1K 
[   ]unify.lisp 2003-10-02 12:34 2.4K 
[TXT]unify.handout 2003-10-02 12:33 3.0K 
[   ]skolemize.lisp 2003-10-02 12:32 4.5K 
[TXT]skolem.handout 2003-10-02 12:31 11K 
[TXT]pc-equiv.handout 2003-10-02 12:30 3.7K 
[   ]satisfiability.lisp 2003-10-01 17:21 2.7K