- Suche

- Kontakt

ISAR: An Interactive System for Algebraic Implementation Proofs

Bauer, B., Hennicker, R.
Proceedings of the International Conference on Logic Programming and Automated Reasoning 92, St. Petersburg, Russland, 15.-20. Juli 1992, Ed.: A. Voronkov, Lecture Notes in Computer Science 624, pp. 451-453.

Verlag: Springer Berlin