dsteven%clemson.csnet@csnet-relay.arpa (07/09/84)
From: D E Stevenson <dsteven%clemson.csnet@csnet-relay.arpa> Does anyone out there have an interest in quantum logic? Has any sort of implementation of a "theorem prover" ever been attempted? I would be interested in any experience, thoughts etc. on this subject. "Steve" Stevenson dsteven@clemson