Changeset 6739 in project


Ignore:
Timestamp:
11/08/07 01:54:20 (13 years ago)
Author:
svnwiki
Message:

Changes applied for Anonymous (61.230.73.171) through svnwiki:

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/predicate-calculus

    r6738 r6739  
    5656MIT
    5757
    58 == Contribution (claimed your stolen codes or ideas here)
     58== Contributions (claimed your stolen codes or stolen ideas here)
    5959
    6060;; Read more about Predicate calculus with equality here:
    61 ;; http://us.metamath.org/index.html
    62 ;; http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf
    63 ;; http://www.enm.bris.ac.uk/research/aigroup/enjl/logic/sld034.htm
    64 ;; http://www.cs.mu.oz.au/255/lec/subject-prop_resolution.pdf
     61;; us.metamath.org/index.html
     62;; www.mathsci.appstate.edu/~jlh/primer/hirst.pdf
     63;; www.enm.bris.ac.uk/research/aigroup/enjl/logic/sld034.htm
     64;; www.cs.mu.oz.au/255/lec/subject-prop_resolution.pdf
    6565;;
    6666;; With code snippets from:
    6767;; comp.lang.scheme
    68 ;; http://mitpress.mit.edu/sicp/full-text/book/book.html
    69 ;; http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme.html
    70 ;; http://www-swiss.ai.mit.edu/~jaffer/SCM.html
    71 ;; http://www.cis.temple.edu/~ingargio/cis587/readings/clausal-alg.cl
     68;; mitpress.mit.edu/sicp/full-text/book/book.html
     69;; www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme.html
     70;; www-swiss.ai.mit.edu/~jaffer/SCM.html
     71;; www.cis.temple.edu/~ingargio/cis587/readings/clausal-alg.cl
    7272;; bit-scheme
    7373== Requirements
Note: See TracChangeset for help on using the changeset viewer.