User contributions
30 December 2009
File:Riff 7 Big.gif
no edit summary
User:Jon Awbrey/SEQUENCES
A061396
+120
User:Jon Awbrey/GRAPHICS
Image Gallery
-1
User:Jon Awbrey/GRAPHICS
Riffs
+58
User:Jon Awbrey/GRAPHICS
Riffs
+58
File:Riff 6 Big.png
no edit summary
File:Riff 6 Big.jpg
no edit summary
File:Riff 6 Big.gif
no edit summary
User:Jon Awbrey/GRAPHICS
Riffs
+58
User:Jon Awbrey/GRAPHICS
Riffs
+58
File:Riff 5 Big.png
no edit summary
File:Riff 5 Big.jpg
no edit summary
File:Riff 5 Big.gif
no edit summary
29 December 2009
User:Jon Awbrey/GRAPHICS
Image Gallery
+572
User:Jon Awbrey/GRAPHICS
Riffs & Rotes
-5
User:Jon Awbrey/GRAPHICS
Image Gallery
+208
User:Jon Awbrey/GRAPHICS
Riffs
+58
File:Riff 4 Big.png
no edit summary
File:Riff 4 Big.jpg
no edit summary
File:Riff 4 Big.gif
no edit summary
User:Jon Awbrey/GRAPHICS
Image Gallery
+275
File:Riff 3 Big.png
no edit summary
File:Riff 3 Big.jpg
no edit summary
File:Riff 3 Big.gif
no edit summary
25 December 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Majority function: decap
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Majority Function: + proof 1
+1,415
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Exemplary proofs: add [majority function] example
+170
24 December 2009
User:Jon Awbrey/MOF
__TOC__
+9
User:Jon Awbrey/MOF
Majority Function Example: + Proof 1
+43
User:Jon Awbrey/MOF
Majority Function Example
+1,415
File:Majority Function Example Proof 1 Frame 9.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 8.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 7.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 6.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 5.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 4.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 3.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 2.jpg
no edit summary
File:Majority Function Example Proof 1 Frame 1.jpg
no edit summary
File:Majority Function Example Proof 1 Title.jpg
no edit summary
File:Majority Function Example Target.jpg
no edit summary
File:Majority Function Example Source.jpg
no edit summary
File:Equational Inference QED.jpg
no edit summary
File:Equational Inference Delete a, b, c.jpg
no edit summary
File:Equational Inference Weed ab, ac, bc.jpg
no edit summary
File:Equational Inference Cancel (( )).jpg
no edit summary
File:Equational Inference Quit (a), (b), (c).jpg
no edit summary
File:Equational Inference Collect ab, ac, bc.jpg
no edit summary
File:Equational Inference Distribute (abc).jpg
no edit summary
File:Equational Inference Reflect ab, ac, bc.jpg
no edit summary