Logical Foundations: KIF Working Group Proposal

KIF Working Draft [10-01-01]

This version:

kif-100101.pdf

Latest version:

prop.html

Previous version:

Editor:

Michael Gruninger [NIST] <gruning@cme.nist.gov>