Changes

Minimal negation operator (view source)

217 bytes added , 04:09, 19 May 2007

add cats

Line 265: Line 265:

** [http://atlas.wolfram.com/01/01/views/87/TableView.html ECAR Examples]

** [http://atlas.wolfram.com/01/01/views/172/TableView.html ECAR Boolean Forms]

+

[[Category:Automata Theory]]

+

[[Category:Combinatorics]]

+

[[Category:Computer Science]]

+

[[Category:Formal Sciences]]

+

[[Category:Formal Systems]]

+

[[Category:Logic]]

+

[[Category:Mathematics]]

+

[[Category:Neural Networks]]

12,080

edits