Subjects: algorithm; behavioral (vs declarative) knowledge; computability
Record details
Subjects: knowledge; metamathematics; artificial intelligence