Barringer, H and Fisher, M and Gabbay, DM and Hunter, A (1991) Meta-Reasoning in Executable Temporal Logic. In: Allen, JF and Fikes, R and Sandewall, E, (eds.) KR. (pp. 40 - 49). Morgan Kaufmann
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Meta-Reasoning in Executable Temporal Logic. |
| ISBN: | 1-55860-165-1 |
| Publisher version: | http://www.informatik.uni-trier.de/~ley/db/publishers/mkp.html |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record