Next:
Cyc was a
Up:
The binding roots of
Previous:
Microtheories
The historical roots of Cyc
Cyc was a natural consequence of history
Logic was meant to be a science of statements
Deniz Yuret
Tue Apr 1 21:26:01 EST 1997
