Looking for PX

Article View: comp.research.japan

Article #283

Back to comp.research.japan Previous Next

#283

From: Ching-Tsun Chou
Date: Thu, 06 Jun 1991 20:06

7 lines
702 bytes

Does anyone out there know where and how to obtain a (preferably free)
implementation of the computational logic PX as described in the book
"PX, a computational logic" by Susumu Hayashi and Hiroshi Nakano?
Any pointer is appreciated.
 
Cheers,
Ching-Tsun <chou@cs.ucla.edu>

Technical Details

Message-ID: <1991Jun6.200650.29412@cs.ucla.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!noao!arizona!rick

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!noao!arizona!rick
From: chou@cs.ucla.edu (Ching-Tsun Chou)
Newsgroups: comp.research.japan
Subject: Looking for PX
Message-ID: <1991Jun6.200650.29412@cs.ucla.edu>
Date: 6 Jun 91 20:06:50 GMT
Sender: rick@cs.arizona.edu
Organization: UCLA Computer Science Department
Lines: 7
Approved: rick@cs.arizona.edu
Originator: chou@maui.cs.ucla.edu