Analytica
- To: mathgroup at smc.vnet.net
- Subject: [mg4407] Analytica
- From: Jacques Fleuriot <jdf21 at cl.cam.ac.uk>
- Date: Fri, 19 Jul 1996 04:16:50 -0400
- Organization: cl.cam.ac.uk
- Sender: owner-wri-mathgroup at wolfram.com
Hi all, -I've been trying to get my hands on Analytica, the Mathematica theorem prover written by Clarke and Zhao at CMU, but to no avail. Does anyone know where I could get a version of this TP? Please Mail me if possible. Any help appreciated. Thanks. Jacques. ---- ==== [MESSAGE SEPARATOR] ====