21 citations · 21 across the 1 of their papers we have counts for
1 paper · 1 filter
Kevin H. Knuth
A given question can be defined in terms of the set of statements or assertions that answer it. Application of logical inference to these sets of assertions allows one to derive th…