Article View: comp.theory
Article #1786Looking for PX
From: Ching-Tsun Chou
Date: Thu, 06 Jun 1991 20:04
Date: Thu, 06 Jun 1991 20:04
8 lines
766 bytes
766 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.200435.29261@cs.ucla.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!ucla-cs!maui.cs.ucla.edu!chouShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!ucla-cs!maui.cs.ucla.edu!chou From: chou@maui.cs.ucla.edu (Ching-Tsun Chou) Newsgroups: comp.theory,sci.logic Subject: Looking for PX Message-ID: <1991Jun6.200435.29261@cs.ucla.edu> Date: 6 Jun 91 20:04:35 GMT Sender: usenet@cs.ucla.edu (Mr. News Himself) Organization: UCLA Computer Science Department Lines: 8 Originator: chou@maui.cs.ucla.edu Nntp-Posting-Host: maui.cs.ucla.edu