Home Advanced Search

Advanced Search - Page 1

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)
Algebraic Methods: Theory, Tools and Applications
  • DJVU
  • English
  • Year: 1989
  • Author: Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)
Problemlösen mit PROLOG
  • PDF
  • German
  • Year: 1987
  • Author: Michael Hanus (auth.)