| Title: |
A New Abstract Prolog Instruction Set |
| Author(s): |
I. Vlahavas, C. Halatsis.
|
| Availability: |
|
| Keywords: |
|
| Appeared in: |
Proc. Avignon 87, Expert systems and their applications, 1987.
|
| Abstract: |
|
| See also : |
|
This paper has been cited by the following:
| 1 |
J Schumann, R Letz PARTHEO: A High-Performance Parallel Theorem Prover
- Proceedings of the Tenth International Conference on …, 1990 - Springer
PARTHEO
|
| 2 |
R Letz, G Stenz Model elimination and connection tableau procedures
- Handbook of Automated Reasoning, 2001
|
|
