From: Michael Greenberg
Subject: Looking for theorem provers
Date: Mon, 01 Oct 1990 21:31:42 +0000
Message-ID: <mlg.654816702@acura>

Can anyone point me to PD theorem provers?




Michael Greenberg                      email: ··········@cadillac.siemens.com
Siemens Corporate Research             phone: 609-734-3347
755 College Road East
Princeton, NJ 08540