This collection of papers and FTP sites is focused mostly on
Automated Deduction and related matters.
This page is rather informal and haphazard,
please send suggestions/updates/corrections
For a more organized page on deduction, see the
Mechanized deduction worldwide page maintained by Michael Kohlhase
and Carolyn Talcott.
Indexes to other areas:
The TIELT Testbed for
Integrating and Evaluating Learning Techniques at NRL.
The Stanford home page.
The Computer Science Department home page.
The Theory Division home page.
Tomás E. Uribe