Thursday, August 26, 2004
Deductive Algorithmic Knowledge
Deductive Algorithmic Knowledge is a (PDF) capture of a set of slides about extending the theory of algorithmic knowledge with deductive computations.
A log of ideas about what matters.