Proofs and Deduction Rulesfor First-Order Logic

1/22/01

Professor Richard Fikes

Computer Science Department

Stanford University

CS222

Winter 2001

Knowledge Systems Laboratory, Stanford University

Next slide

Back to first slide

View graphic version