User contributions for 58.175.28.253
Jump to navigation
Jump to search
25 August 2012
- 11:4411:44, 25 August 2012 diff hist +8,612 N Conjunctive normal form The animal example was placed as if it was a second step, but it is just an example of 1. →Converting from first-order logic