The Christian Doctrine of Man
Inference Web: Portable and Sharable Proofs for Hybrid Systems Deborah L. McGuinness, Paulo Pinheiro da Silva and Bill MacCartney with Richard Fikes, Gleb.
Probabilistically Checkable Proofs What Theoretical Computer Science Discovered About Proofs
Explanation: The Next Phase in Question Answering Deborah L. McGuinness Knowledge Systems Laboratory Stanford University [email protected].
BAG DESIGNS.