Vol-763⫷ Vol-764 ⫸Vol-765
urn:nbn:de:0074-764-0


None⫸None
Robert Kowalski

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