LOGICAL THEORIES AND AUTOMATED DECISION PROCEDURES FOR REASONING ABOUT PHYSICAL SYSTEMS An introduction to the project and its potential applications
This document was generated using the LaTeX2HTML translator Version 95.1 (Fri Jan 20 1995) Copyright © 1993, 1994, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
The command line arguments were:
latex2html /a/home/csuna_a/staff/qsr/WWW/raps-project/intro.tex.
The translation was initiated by A G Cohn on Wed Nov 1 13:20:53 GMT 1995