Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

426 bytes added , 14:15, 18 August 2009

Line 3,409: Line 3,409:

# http://stderr.org/pipermail/inquiry/2004-May/001398.html

# http://stderr.org/pipermail/inquiry/2006-January/003364.html

+

Line 3,415: Line 3,417:

[[Paper Of::Directory:Jon Awbrey| ]]

−

~~<sharethis />~~

+

[[Category:Artificial Intelligence]]

+

[[Category:Combinatorics]]

+

[[Category:Computer Science]]

+

[[Category:Cybernetics]]

+

[[Category:Equational Reasoning]]

+

[[Category:Formal Languages]]

+

[[Category:Formal Systems]]

+

[[Category:Graph Theory]]

+

[[Category:Knowledge Representation]]

+

[[Category:Logic]]

+

[[Category:Logical Graphs]]

+

[[Category:Mathematics]]

+

[[Category:Philosophy]]

+

[[Category:Semiotics]]

+

[[Category:Visualization]]

12,080

edits