Stanford's Formal Reasoning Group: RKF Project
Information
The
Stanford Formal Reasoning Group
web page.
Our
HPKB
web page.
SRI's team page
and the
Kickoff Meeting
.
We wrote some
papers and talk slides
that are relevant to RKF.
Eyal Amir
Last modified: Mon Jul 17 11:01:32 PDT 2000