The theorem prover using a parallel processing system
Authors:
Hitoshi Ogawa;Tadahiro Kitahashi;Kokichi Tanaka
Affiliations:
Faculty of Engineering Science, Osaka University, Toyonaka, Osaka, Japan;Toyohashi University of Technology, Toyohashi, Aichi, Japan;Faculty of Engineering Science, Osaka University, Toyonaka, Osaka, Japan
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2