Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. S. Alagic, M.A. Arbib: The Design of Well-structured and Correct Programs, Springer, New York-Heidelberg-Berlin 1978.
2. E. Bergmann, H. Noll: Mathematische Logik mit Informatik-Anwendungen, Springer, Berlin-Heidelberg-New York 1977.
3. W. Bibel: Automated Theorem Proving, Vieweg, Braunschweig 1982.
4. R.S. Boyer, J.S. Moore: A Computational Logic, ACM Monograph Series, Academic Press, 1979.
5. W.F. Clocksin, C.S. Mellish: Programming in Prolog, Springer, Berlin 1981.