The Connection Graph Proof Procedure as a Logical-Connectionist Model of the Mind.

Robert Kowalski

Browse the full NeSy paper archive.