Inference In First Order Logic

9/30/98

Prof. Richard Fikes

Computer Science Department

Stanford University

CS222

Fall 1998

Next slide

Back to first slide

View graphic version